PPT Slide
Facts are relations on objects that are known to be true.
leftof( redcircle, bluestar ).
madeof( moon, greencheese ).
The Prolog system works with symbols, like Lisp.
The symbols have no particular meaning to Prolog, only to the programmer.
The facts in a Prolog program form a database.