Prolog - Sir Bedevere, Monty Python.

LA home
Computing
Logic
 Prolog
  Intro.
  Syntax
  Examples
   Windsor
   Append
   Aunt
   Solar
   Diff
   Tree
   Witch
witch(X)  <= burns(X) and female(X).

burns(X)  <= wooden(X).

wooden(X) <= floats(X).
wooden(woodBridge).
stone(stoneBridge).

floats(bread).
floats(apple).
floats(cherry).
floats(X) <= sameweight(duck, X).

female(girl).          {by observation}
sameweight(duck,girl). {by experiment }

? witch(girl).

{ After Monty Python (Sir Bedevere). }

A witch is a female who burns. Witches burn - because they're made of wood. Wood floats. What else floats on water? A duck; if something has the same weight as a duck it must float. A duck and scales are fetched. The girl and the duck balance perfectly. "It's a fair cop."

NB. The applet above needs Java on.
Monty Python and the Holy Grail (1975)
The witchConnie Booth
Sir Bedevere (etc.)Terry Jones
King ArthurGraham Chapman
Mr. Blint (a village n'er do well very keen on burning witches) (etc.) Eric Idle
Mr. Newt (a village blacksmith quite interested in burning witches) (etc.) John Cleese
Mr. Duck (a village carpenter who is almost keener than anyone else to burn witches) (etc.) Michael Palin
Directed byTerry Gilliam, Terry Jones
-- must be © the Pythons
www:


© L. Allison   http://www.allisons.org/ll/   (or as otherwise indicated),
Created with "vi (Linux or Solaris)",  charset=iso-8859-1,  fetched Wednesday, 22-Nov-2017 19:10:01 EST.

free: Linux, Ubuntu operating-sys, OpenOffice office-suite, The GIMP ~photoshop,
Firefox web-browser, FlashBlock flash on/off.