Prolog Semantics
In pure Prolog, NAF literals of the form can occur in the body of clauses and can be used to derive other NAF literals. For example, given only the four clauses
NAF derives, and .
Read more about this topic: Negation As Failure
Related Phrases
Related Words