TY - BOOK AU - Amble,Tore TI - Logic programming and knowledge engineering AV - QA76.63 A424L PY - 1987/// CY - Wokingham PB - Addison-Wesley KW - LOGIC PROGRAMMING KW - EXPERT SYSTEMS (COMPUTER SCIENCE) ER -