The lion and the unicorn met PROLOG
Bruce D. Ramsey · ACM SIGPLAN Notices · 1986
A recent paper published in the Journal of Automated Reasoning, No. 1, 1985, described ways to apply automatic theorem-proving techniques to a logic puzzle. The PROLOG programming language pertains to automatic theorem-proving. That paper did not mention PROLOG, but we use PROLOG to slove the logic puzzle that paper discussed. We then compare our results with the results given in that paper.