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

Bibliographic Details
Main Author: Le Van, T.
Format: Book
Language:English
Published: New York John Wiley & Sons 1993
Subjects:
Description
Physical Description:xviii, 601 p. fig. 24 cm. 2 disks
Bibliography:Includes bibliographical references and index
ISBN:047157175X