Logic programming and knowledge engineering - Amble T (Wokingham Addison-wesley, 1987)
Keywords: Computer science