TY - BOOK AU - Marcus,Claudia TI - Prolog programming SN - 20114649 PY - 1986/// CY - California PB - Addison - Wesley ER -