Goal Clause
Jump to navigation
Jump to search
A Goal Clause is a Horn Clause with only Negative Literals.
- AKA: Integrity Constraint.
- Example(s):
- An underage person cannot vote: NOT(VOTE(Person)) AND NOT(UNDERAGE(PERSON)).
- See: Definite Clause.