Definite Clause

A Definite Clause is a Horn Clause with one positive Literal.

• AKA: Rule.
• Context:
  • It can be a:
    • Grammar Production Rule.
    • a Conditional Logic Rule.
  • …
• Example(s):
  • if (A and B and C) then X
  • (Parent(x,y) ∧ Parent(y,z) ∧ person(x) ∧ person(y) ∧ person(z)) → Grandparent(x,y).
• See: Horn Clause, Goal Clause, Logic System.

---

---

References

• (Wikipedia, 2009) ⇒ http://en.wikipedia.org/wiki/Definite_clause_grammar

1980

• Definite Clause Grammars (Pereira and Warren, 1980)

---