Techniques of PROLOG Programming: with Implementation of Logical Negation and Quantified Goals 1993 · ENGLISH · DJVU View details →