Techniques of Prolog programming : with implementation of logical negation and quantified goals /

Van Le, T.

Techniques of Prolog programming : with implementation of logical negation and quantified goals / T. van Le. - New York : Wiley, 1993. - xviii, 601 p. : ill. ; 24 cm.

System requirements for computer disks: IBM PC or compatible; MS-DOS; Prolog. Includes index.

Includes bibliographical references.

0471599700 (pbk.) 047157175x (pbk.)


Prolog (Computer program language).
Negation (Logic).