The lion and the unicorn met PROLOG

Authors:
Bruce D. Ramsey
Affiliations:
IBM Corporation, General Products Division, Tucson, Arizona
Venue:
ACM SIGPLAN Notices
Year:
1986

Citing 5
Cited 2

Programming in Prolog (2nd ed.)

Programming in Prolog (2nd ed.)
Introduction to logic programming

Introduction to logic programming
The lion and the unicorn

Journal of Automated Reasoning
Prolog for programmers

Prolog for programmers
Logic Programming

Logic Programming

Puzzles, PROLOG and logic

ACM SIGPLAN Notices
Prolog puzzles

ACM SIGPLAN Notices

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.