PPT Slide

A fact has the syntax

< relation name >( < argument list > ).*

A relation may have a variable number of arguments.

address( bill, seattle, washington ).

address( mary, seattle, washington, 98195 ).

Facts don’t have to make sense.

address( tom, blue, triangle, dog )

But they ought to mean something to the programmer.

* Some Prologs use Lisp format

( < relation name > < arguments > )

P.10

Previous slide

Next slide

Back to first slide

View graphic version