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
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