TY - BOOK AU - Maier,David TI - Computing With Logic: Logic Programming With Prolog U1 - 001.6424 MAI PY - 1988/// PB - The Benjamin/Cummings Publishing Co. ER -