Using an Extended PROLOG to Solve the Lion and Unicorn Puzzle

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.

No reviews for this publication, yet.