TY - BOOK AU - Amble, Tore TI - Logic programming and knowledge engineering T2 - International computer science series SN - 020118043X U1 - 005.1 PY - 1987/// CY - Wokingham PB - Addison Wesley ER -