Leram - WIE Techniques of Prolog Programming with Implementation of Logical Negation and Quantified Goals