Title: Techniques of Prolog Programming with Implementation of Logical Negation and Quantified Goals