Using an extended PROLOG to solve the lion and unicorn Puzzle

DOI10.1007/BF00248326zbMath0677.68099OpenAlexW1970060485MaRDI QIDQ1123642

Thomas Filkorn, Richard Schmid, Hans-Albert Schneider

Publication date: 1989

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00248326

zbMATH Keywords

PROLOGconstraint satisfaction problemunification in finite algebras

Mathematics Subject Classification ID

Cites Work

• Unnamed Item
• Problem corner: The Lion and the Unicorn
• IMPLEMENTING COMPLEX DOMAINS OF APPLICATION IN AN EXTENDED PROLOG SYSTEM

This page was built for publication: Using an extended PROLOG to solve the lion and unicorn Puzzle