Merge branch 'master' of https://github.com/ArkadyPL/Multiagent-Actio…

…n-Language

README.md

@@ -0,0 +1,27 @@
+# Multiagent-Action-Language
+To do:
+
+### Prolog ###
+- [x] Pierwsza wersja kwerendy *Possibly engagnd from*
+- [x] Pierwsza wersja kwerendy *Necessary engaged from*
+- [x] Pierwsza wersja kwerendy *Possibly executable from*
+- [x] Pierwsza wersja kwerendy *Necessary executable from*
+- [ ] Pierwsza wersja kwerendy *Possibly after from*
+- [ ] Pierwsza wersja kwerendy *Necessary after from*
+- [ ] Napisanie testów dla bardziej zaawansowanych historyjek, w szczególności z wykorzystaniem *releases*, *initially* i *always*
+
+### C# logika ###
+- [x] Działający serwis C# <-> Prolog
+- [ ] Wrappery na wyrażenia wartości *after*, *observable after*, *initially*
+- [ ] Wrappery na wyrażenia efektu akcji *by causes if*, *impossible by if*
+- [ ] Wrappery na wyrażenia uwolnienia fluentu *by releases if*
+- [ ] Wrappery na wyrażenia integralności *always*
+- [ ] Wrapper na wyrażenie zachowania fluentów *noninertial*
+- [ ] Wrappery na kwerendę wykonywalności *executable*
+- [ ] Wrappery na kwerendę wartości *after*
+- [x] Wrappery na kwerendę zaangażowania *engaged*
+- [ ] Parser wyrażeń logicznych do formatu prologowego, z uwzględnieniem wszystkich kombinacji fluentów spełniających dane wyrażenie
+
+### C# GUI ###
+- [ ] Widoki dla kontrolek
+- [ ] Parser wyrażeń logicznych do obiektów