Techniques of PROLOG programming with implementation of logical negation and quantified goals /
Van Le, T.
Techniques of PROLOG programming with implementation of logical negation and quantified goals / T. Van Le. - New York : Wiley, c1993. - xviii, 601 p. : ill., + 3.5 inch. programme diskette.
Systems programmes copied onto 2 floppy diskettes for loaning purposes. The 3.5 inch diskette held for safety purposes by the library.
Includes bibliography: p. [585-593] and index.
047157175X
PROLOG (Computer programme language)
Negation (Logic)
Techniques of PROLOG programming with implementation of logical negation and quantified goals / T. Van Le. - New York : Wiley, c1993. - xviii, 601 p. : ill., + 3.5 inch. programme diskette.
Systems programmes copied onto 2 floppy diskettes for loaning purposes. The 3.5 inch diskette held for safety purposes by the library.
Includes bibliography: p. [585-593] and index.
047157175X
PROLOG (Computer programme language)
Negation (Logic)