Abductive logic programming: Difference between revisions

Revision as of 08:50, 24 November 2023

Revision as of 08:51, 24 November 2023

Line 96:

Moreover, abduction in ALP can simulate [[negation as failure]] in normal logic programming.

Consider the classic example of reasoning by default that a bird can fly if it cannot be shown that the bird is abnormal. Here is a variant of the example using negation as failure in normal logic programming:

<syntaxhighlight lang="prolog">