Predicate Logic

Substitution and Unification
Clause’s properties:
1. There is no common variable between two
clauses.
2. There exist one or many atoms: L 1 , L 2 , .., L k in a
clause, one or many literals ¬M 1, ¬M 2, .., ¬M n in
another clause so that there is a mgu for set {L 1,
L 2 , .., L k , M 1 , M 2 , .., M n }
Artificial Intelligence: Predicate Logic Slide: 71