"horn clause" -
related articles and key terms
Related terms:
literals
Wikipedia sources:
Logic programming
Boolean satisfiability problem
Context for words:
horn
clause