Logic programming - Clark, K. L.; Tarnlund, S. A. (London : Academic Press, 1982)
Bibliography: p341-361. - Includes index.
1
Keywords: Electronic digital computers -- Programming; Logic, Symbolic and mathematical