Le, Tu Van.

Techniques of Prolog programming with implementation of logical negation and quantified goals / Tu Van Le. - J. Wiley 1993.

8217


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

QA76.73 / P76Le.