Lloyd, J. W.

Foundations of logic programming by J.W. Lloyd - Ist ed. - New York Springer-Verlag 1984 - x, 124p. 25 cm. - Symbolic computation: Artificial intelligence .

Includes bibliographies

0387132996


Logic programming

001.642 / LLO/1984