Knowledge systems and prolog : a logical approach to expert systems and natural language processing - McCord, Adrian (Addison-Wesley, 1987)