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

Le, Tu Van

Techniques of Prolog programming : with implementation of logical negation and quantified goals / T. van Le. - New York : Wiley, c1993. - xviii, 601 p. : ill. ; 24 cm. + 2 computer disks (3 1/2 in.)

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

Includes bibliographical references (p. 585-593) and index.

047157175X (paper)

92-030399


Prolog (Computer program language)
Negation (Logic)

Ngôn ngữ lập trình Lập trình Prolog Ngôn ngữ Prolog

QA76.73.P76 / V36 1993

005.13/3 / LE-V 1993