A first-order clause containing no variables. Its first-order terms are ground terms, so resolution between such first-order clauses reduces to propositional logic on the ground atoms.
New to topics? Read the docs here!
New to topics? Read the docs here!