✦ LIBER ✦

An Introduction to Logic Programming through Prolog

✍ Scribed by J. M. Spivey, Michael Spivey

Book ID: 127400263
Publisher: Prentice Hall
Year: 1996
Tongue: English
Weight: 472 KB
Series: Prentice Hall International Series in Computer Science
Category: Library
ISBN: 0135360471

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

An Introduction to Natural Language Proc

An Introduction to Natural Language Processing through Prolog

✍ Carl Vogel 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 67 KB

From Prolog III to Prolog IV: The Logic

From Prolog III to Prolog IV: The Logic of Constraint Programming Revisited

✍ Guy A. Narboni 📂 Article 📅 1999 🏛 Springer US 🌐 English ⚖ 351 KB

Ariadne's thread: An introduction to log

Ariadne's thread: An introduction to logic programming

✍ Midoro, Vittorio; Chioccariello, Augusto; Persico, Donatella; Sarti, Luigi; Tave 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 569 KB

Appendix: an introduction to Prolog

✍ Peter S.G. Swinson 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 342 KB

An introduction to logic through the 74

An introduction to logic through the 74 series

✍ Bevis, Graham 📂 Article 📅 1982 🏛 The Institution of Electrical Engineers ⚖ 185 KB

A Prolog-like inference system based on

A Prolog-like inference system based on neural logic — An attempt towards fuzzy neural logic programming

✍ Liya Ding; Hoon Heng Teh; Peizhuang Wang; Ho Chung Lui 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 967 KB