Logic programming languages : constraints, functions, and objects /
Apt, Krzysztof R.,1949-
Bakker, J. W. de(Jacobus Willem),1939-
Rutten, J. J. M. M.
Cambridge, Mass. ; London : MIT Press,
c1993.
Includes bibliographical references.
Logic programming languages.