TY - BOOK AU - Dodd,Tony A. TI - Prolog: a logical approach SN - 0198538227 (cased) PY - 1990/// CY - Oxford [England] PB - Oxford University Press KW - Prolog (Computer program language) N1 - Includes index; Includes bibliographical references ER -