Logic programming
Clark, K. L.
Tärnlund, S.-A.
London Academic Press
1982
Bibliography: p341-361. - Includes index
Electronic digital computers
Logic, Symbolic and mathematical.