Knowledge systems and prolog : developing expert, database, and natural language systems Adrian Walker ... [et al.]. - Walker (Addison-Wesley, 1990)