Richard Schmid, Hans-Albert Schneider, Thomas Filkorn. Using an Extended PROLOG to Solve the Lion and Unicorn Puzzle. Journal of Automated Reasoning, 5(3):403-408, 1989.
@article{SchmidSF89, title = {Using an Extended PROLOG to Solve the Lion and Unicorn Puzzle}, author = {Richard Schmid and Hans-Albert Schneider and Thomas Filkorn}, year = {1989}, tags = {Prolog}, researchr = {https://researchr.org/publication/SchmidSF89}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {5}, number = {3}, pages = {403-408}, }