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.
of a Logic Program are however based on its minimal Herbrand Model
Negation-as-failure introduced non-monotonic behavior and pushes LP beyond the expressivity of First Order Logic
A typical inference task for LP engines is conjunctive query answering
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License