Techniques of prolog programming with implementation of logical negation and quantified goals - Le, Tu Van (Wiley, 1993)