Monty Python and Logic
Moved to [
witch
] in [
Prolog examples
].