Techniques of prolog programming with implementation of logical negation and quantified goals

Le, Dac-Nhuong

Techniques of prolog programming with implementation of logical negation and quantified goals - New York John Wiley 1993 - xviii,601 p.

047157175X


COMPUTER PROGRAMMING
COMPUTER SCIENCE
LOGICAL NEGATION
Programming Languages
PROLOG PROGRAMMING

004.43 / LET