Prolog Examples

Various Prolog example programs are listed (and the introduction also contains programming examples).: House of Windsor.; Solar system database.; Aunts and Uncles, rules and relations.; Linked lists and list manipulation.; Symbolic differentiation.; Tree data structures and tree traversal algorithms.; Monty Python and "logic".
The examples can be run using the Prolog interpreter.: 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). {<B> After Monty Python (Sir Bedevere). </B>}

output area
— see Monty Python's [Search for the Holy Grail], with the witch.