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

Name: WIE Techniques of Prolog Programming with Implementation of Logical Negation and Quantified Goals
Author: T. Van Le