Techniques of Prolog programming
Subtitle: with implementation of logical negation and quantified goals
By: T. van Le.
Publisher: Wiley
Published: 1993
Place of publication: New York
Language: eng
Number of pages: 601
Subjects: Prolog (Computer program language); Negation (Logic)
Notes: Includes bibliographical references (p. 585-593) and index.
System requirements for computer disks: IBM PC or compatible; MS-DOS; Prolog.