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 Programming is based on a subset of First Order Logic called Horn Logic
Horn Logic can serve as a simple KR formalism and allows to express
Under certain restrictions reasoning over knowledge bases based on such rules is
(in contrast to general ATP within First Order Logic)
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License