TY - BOOK AU - Tore Amble TI - Logic Programming and Knowledge Engineering SN - 0-201-18043-X U1 - 004.891 PY - 1987/// CY - PB - Addison-Wesley Publishing ER -