Differences
This shows you the differences between two versions of the page.
Both sides previous revision
Previous revision
|
|
en:dydaktyka:ggp:gdl [2019/06/27 15:49] 127.0.0.1 external edit |
en:dydaktyka:ggp:gdl [2021/01/12 01:05] (current) msl [Fluents] |
</code> | </code> |
| |
Here '':-'' reprenst implication ''<-''. ''&'' is a logical and. In natural language the first line means: "if M and N represent cells' indexes, then there is a fluent for cell with (M, N) coordinates, telling there is a cross in it". If we didn't use rules, we could write all the fluents by hand: | Here '':-'' represents an implication ''<-''. ''&'' is a logical "and". In natural language the first line means: "if M and N represent cells' indexes, then there is a fluent for cell with (M, N) coordinates, telling there is a cross in it". If we didn't use rules, we could write all the fluents by hand: |
| |
<code> | <code> |
| |
| |
Rules in GDL have a one special feature: they can recurse, but they can't loop forever. [[http://www.inf.tu-dresden.de/content/institutes/ki/cl/study/winter09/ggp/kapitel2.pdf|More details here]]. | Rules in GDL have one special feature: they can recurse, but they can't loop forever. [[http://www.inf.tu-dresden.de/content/institutes/ki/cl/study/winter09/ggp/kapitel2.pdf|More details here]]. |
| |
==== Available Actions ==== | ==== Available Actions ==== |