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

Main Author:	Le, Tu Van
Format:	Book
Language:	English
Published:	New York: John Wiley and Sons, 1993
Subjects:	PROLOG (Computer program language) Negation (Logic)

Physical Description:	601σ. ; 24εκ.
Bibliography:	Περιέχει βιβλιογραφία και ευρετήριο
ISBN:	047157175x