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