TY - BOOK AU - Clark,K.L. AU - Van Emden,M.H. AU - McCabe,Frank G. TI - Micro-PROLOG: programming in logic T2 - International series in computer science SN - 013581264X PY - 1984/// CY - Englewood Cliffs PB - [S.n.] KW - PROGRAMACIÓN LÓGICA KW - MICRO-PROLOG N1 - Con contribuciones de M.H. van Emden; J.R. Ennals; P. Hammond; R.A. Kowalski; F. Kriwaczek; M.J. Sergot. -- Incluye soluciones a ejercicios ER -