Techniques of Prolog Programming With Implementation of Logical Negation and ...