PPT Slide

PROLOG:

Programming in Logic

Prolog is a language for automatic theorem proving.

Suppose we have

P( a )

P( x ) Q( x ) for all x

and want to prove Q( a ) .

In Prolog

| p( a ) .

| q( x ) : -- p( x )

| ? -- q( a ) .

yes

P.1

Next slide

Back to first slide

View graphic version