TY - BOOK AU - DODD, TONY TI - Prolog : a logical approach SN - 0000198538219 U1 - 005.115 PB - Oxford :OXFORD UNIVERSITY PRESS KW - Programming languages : Prolog ER -