Amble, Tore Logic programming and knowledge engineering - Wokingham : Addison-Wesley, 1987 - 281 Subjects--Topical Terms: LOGIC PROGRAMMINGEXPERT SYSTEMS (COMPUTER SCIENCE) LC Class. No.: QA76.63 / A424L