Monty Python and Logic

Moved to [witch] in [Prolog examples].