PPT Slide

Resolution theorem provers work with clauses that are derived from arbitrary predicate calculus expressions.

PROLOG works with a restricted kind of clauses called

Horn Clauses

which have three possible forms:

1) P Q

2 ) P1 P2 ….. Pk Q

3 ) P

If we group 1) and 2) together there are two ways to represent knowledge in PROLOG

• rules

• facts

V

V

V

P.5

Previous slide

Next slide

Back to first slide

View graphic version