Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
Logic Programs can also contain
ancestor(x,z) :- ancestor(x,y), ancestor(y,z).
This is a problem as soon as negation is allowed since the minimal model is not uniquely defined anymore
If the dependency graph contains a cycle then the program is recursive
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License