Text this: Techniques of PROLOG programming with implementation of logical negation and quantified goals /