Opening book details…
Can I read From Logic Programming to Prolog on EtoBox?
From Logic Programming to Prolog by Apt, Krzysztof R., 1949- is a book available to read on EtoBox.
What is From Logic Programming to Prolog about?
A unique publication that provides an introduction to the theory of logic programming and its application to Prolog programs. Covers programming issues such as termination, occur-check freedom, partial correctness and absence of runtime errors. Paper. Logic programming.
- Author
- Apt, Krzysztof R., 1949-
- Publisher
- London ; New York: Prentice Hall
- Published
- 1997
- Language
- EN
- ISBN
- 9780132303682
- Subjects
- Computer Science, Programming, Reference
Other editions & translations
More by Apt, Krzysztof R., 1949-
Browse all works by Apt, Krzysztof R., 1949-
Similar books
- Logic Programming with Prolog — Max Bramer BSc, PhD, CEng, FBCS, FIEE, FRSA, ILTM (auth.) (2005)
- Prolog Versus You : An Introduction to Logic Programming — Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman (1989)
- Logic, Programming, and Prolog — Ulf Nilsson and Jan Małuszyński (1990)
- The Practice of Prolog (Logic Programming) — edited by Leon S. Sterling (1990)
- The Art of Prolog, Second Edition: Advanced Programming Techniques (Logic Programming) — Sterling, Leon S., Shapiro, Ehud Y. (1994)
- Computing with Logic : Logic Programming with Prolog — David S. Warren David Maier (1988)