Using theory as a foundation for practical programming, this text presents the theory of logic programming with clear proofs, extended examples, and implementation techniques. It covers logical theory, practical programming, and the structure of a simple Prolog implementation.

Скачать книгу бесплатно (pdf, 1.34 Mb)

---

Читать «An introduction to logic programming through Prolog»