Techniques of PROLOG programming with implementation of logical negation and quantified goals - Van Le, T. (Wiley, 1993)