Richard Schmid Hans-Albert Schneider Thomas Filkorn Using an Extended PROLOG to Solve the Lion and Unicorn Puzzle. 403-408 1989 5 J. Autom. Reasoning 3 db/journals/jar/jar5.html#SchmidSF89