Techniques of PROLOG Programming: with Implementation of Logical Negation and Quantified Goals

✍ Scribed by T.Van Le

Publisher: John Wiley and Sons (WIE)
Year: 1993
Tongue: English
Leaves: 622
Edition: International edition
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

The purpose of this text is twofold. Firstly, it presents a firm background for prolog programming and the fundamental techniques of problem-solving using prolog. The book's easy to follow tutorial style features many fully-solved exercises followed by similar problems for student practice. Secondly, it provides an efficient implementation of logical negation and quantified goals needed in expert systems. A disk containing the texts Prolog Programs is included with the book

📜 SIMILAR VOLUMES

Techniques of PROLOG Programming: with I

📁 Techniques of PROLOG Programming: with Implementation of Logical Negation and Quantified Goals

✍ T. Van Le 📂 Library 📅 1993 🏛 John Wiley and Sons Ltd 🌐 English

Approaches the subject by applying the format used in successful language courses. Offers a comprehensive exhibition of Prolog programming techniques in four stages--declarative, procedural, advanced and meta-programming. Presents simple and efficient implementation of logical negation and quantifie

Techniques of PROLOG Programming: with I

📁 Techniques of PROLOG Programming: with Implementation of Logical Negation and Quantified Goals [program disk]

✍ T.Van Le 📂 Library 📅 1993 🏛 John Wiley 🌐 English

The Art of Prolog, Second Edition: Advan

📁 The Art of Prolog, Second Edition: Advanced Programming Techniques (Logic Programming)

✍ Leon Sterling, Ehud Shapiro 📂 Library 📅 1999 🏛 MIT 🌐 English

Computing With Logic: Logic Programming

📁 Computing With Logic: Logic Programming With Prolog

✍ David Maier, David S. Warren 📂 Library 📅 1988 🏛 AW 🌐 English

Computing With Logic: Logic Programming

📁 Computing With Logic: Logic Programming With Prolog

✍ David Maier, David S. Warren 📂 Library 📅 1988 🏛 AW 🌐 English

This text is appropriate for a senior or first-year graduate course on logic programming. It concentrates on the formal semantics of logic programs, automatic theorem- proving techniques, and efficient implementation of logic languages. It is also an excellent reference for the computer professi

Logic Programming With Prolog

📁 Logic Programming With Prolog

✍ Max Bramer 📂 Library 📅 2005 🏛 Springer 🌐 English

This book teaches the techniques of Logic Programming through the Prolog language. The name stands for Programming in Logic. Prolog has been used for a wide variety of applications, including as the basis for a standard ‘knowledge representation language’ for the Semantic Web – the next generation o