Logic programming and knowledge engineering - Amble, Tore (Addison-Wesley Publishing Company, Inc, 1987)