"negation as failure" -
related articles and key terms
Related terms:
Wikipedia sources:
Logic programming
Context for words:
negation
as
failure