Help for this page

Select Code to Download


  1. or download this
    steals(PERP, STUFF) :- 
             ....
...
      not(knows(PERP,VICTIM)).
knows(badguy,merlyn).
owns(merlyn,gold).
  2. or download this
    ?- steals(badguy,X).

X = rubies

Yes
  3. or download this
    thief(merlyn).
?- steals(merlyn,X).

Yes