From logic to logic programming /
Doets, Kees.
Cambridge, Mass. ; London : MIT Press,
c1994.
Includes bibliographical references and index.
Logic programming.