Knowledge systems and prolog : developing expert, database, and natural language systems - Walker, Adrian (Addison-Wesley, 1990)