![Checkout](https://naologiccom.imgix.net/website-update/general/checkout.png?auto=compress&w=64&fm=png)
Personalized AI apps
Build multi-agent systems without code and automate document search, RAG and content generation
Start free trial Question
Selective Linear Definite Clause Resolution - What is the resolution of Prolog?
Answer
To run Prolog, one must use the Resolution proof technique. By resolving two clauses that have a complementary literal, the resolution procedure creates a new clause. By posing counterarguments, it offers evidence.