TY - BOOK AU - Clocksin,W.F. AU - Mellish,C.S. TI - Programming in Prolog SN - 0387110461 PY - 1984/// CY - Berlín, Alemania PB - Springer-Verlag KW - PROLOG (LENGUAJE DE PROGRAMACION) N1 - Incluye referencias bibliográficas e índice; Tutorial introduction. -- A closer look. -- Using data structures. -- Backtracking and "cut". -- Input and output. -- Built-in predicates. -- More example programs. -- Debugging prolog programs. -- Using prolog grammar rules. -- The relation of prolog to logic. -- Projects in prolog ER -