The Techniques of PROLOG Programming: With Implementation of Logical Negation and Quantified Goals - Brossura

Le, T.Van

 
9780471599708: The Techniques of PROLOG Programming: With Implementation of Logical Negation and Quantified Goals

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9780471571759: Techniques of Prolog Programming With Implementation of Logical Negation and Quantified Goals/Book and 2 Disk

Edizione in evidenza

ISBN 10:  047157175X ISBN 13:  9780471571759
Casa editrice: John Wiley & Sons Inc, 1993
Brossura