An Introduction to Prolog III
- 1 January 1990
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Embedding boolean expressions into logic programmingJournal of Symbolic Computation, 1987
- Constraint logic programmingPublished by Association for Computing Machinery (ACM) ,1987
- Prolog in 10 figuresCommunications of the ACM, 1985
- Logic programmingCommunications of the ACM, 1985
- Simple perfect squared square of lowest orderJournal of Combinatorial Theory, Series B, 1978
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- Über die Zerlegung von Rechtecken in lauter verschiedene Quadrate.Journal für die reine und angewandte Mathematik (Crelles Journal), 1940