PPT Slide

What is Prolog?

• Prolog is a relational language.

• The Prolog programmer designs objects and

relations over objects.

• The statements of the language are

declarative, not imperative.

• It is more than just a language;

it is a theorem prover.

What do Prolog programs do?

They declare facts about objects and their relationships.

They define rules about objects and their relationships.

They ask questions about objects and their relationships.

P.8

Previous slide

Next slide

Back to first slide

View graphic version