Techniques of PROLOG Programming: with Implementation of Logical Negation and Quantified Goals
Book information
Description
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 books
Techniques of PROLOG Programming: with Implementation of Logical Negation and Quantified Goals [program disk]
1993 · RAR
Cosmical Electrodynamics, 2nd Ed. (International Series of Monographs on Physics)
1963 · DJVU
Theory of Knowledge: An Introduction
1976 · DJVU
Introduction to Stochastic Processes with Special Reference to Methods and Applications
DJVU
Dynamical Theory of Crystal Lattices (The International series of monographs on physics)
1998 · DJVU
Communism and China: Ideology in Flux
1970 · DJVU
American Piety: The Nature of Religious Commitment (Patterns of Religious Commitment)
1970 · DJVU
Structural Linguistics (Midway Reprints)
1960 · DJVU