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