Help for this page

Select Code to Download


  1. or download this
    drinks(lemming,scotch).
drinks(ovid,scotch).
drinks(grep,guiness).
  2. or download this
    ?- drinks(ovid,scotch).
yes
  3. or download this
    ?- drinks(grep,Drink).
Drink=guiness
...
Who=lemming
Who=ovid
yes
  4. or download this
    steals(Perp,Item) :-
  thief(Perp),
  owns(Victim,Item),
  Valuable(Item).