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