Start free trial
Take Naologic for a spin today, no credit card needed and no obligations.
Start free trial

Selective Linear Definite Clause Resolution - What is the resolution of Prolog?


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.