Horn Clauses

• If every sentence in KB is of the form:

• Then Modus Ponens is
  • Polynomial time, and
  • Complete!

• Hence, Prolog Implementation

A ? B ? C ? ... ? F ? Z

equivalently ?A ? ?B ? ?C ? ... ? ?F ? Z

Clause means a

big disjunction

Previous slide

Next slide

Back to first slide

View graphic version