Logic programming and knowledge engineering - Amble, Tore (International Computer Science Series / Addison-Wesley Publishing Company, Inc.., 1987)