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

Shelfclass_id 4.B.5
Sortkey VAN LE, T
Authors T. Van Le
Title Techniques of Prolog Programming: with Implementation of Logical Negation and Quantified Goals
Publisher Wiley
Year c1993
Languages eng
Isbn 047157175X
Description (paper) xviii, 601 p. ill. 24 cm. +
Record date 20060714
Location New York
Keywords Prolog (Computer program language), Negation (Logic)
Notes System requirements for computer disks: IBM PC or compatible; MS-DOS; Prolog
Urlnote Table of Contents
Urls http://www.loc.gov/catdir/toc/onix01/92030399.html