TY - BOOK AU - Clocksin,W.F. AU - Mellish,C.S. TI - Programming in Prolog SN - 0387110461 AV - QA76.73.P76 C56 1981 PY - 1981/// CY - New York, NY. : PB - Springer-Verlag, KW - lemb KW - Prolog (Lenguaje de programación para computador) N1 - Incluye apéndice e índice ER -