Related terms:
satisfying assignment
goal clause
empty clause
neg k
each clause
satisfiability problem
open world assumption
closed world assumption
horn clause
owa
conjunctive normal form
inference rule
entailed
boolean satisfiability problem
search tree
literals
search space
unifying
local search
vee
Wikipedia sources:
Closed world assumption
Boolean satisfiability problem
SLD resolution
Context for words:
positive
literal
|
|