Ground clause
= Ground clause
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.
= Ground clause
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.