With increasing frequency, PROLOG is the language of choice for many applications in artificial intelligence. This popularity of PROLOG, coupled with the importance of artificial intelligence applications, underscores the need for an...