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