Introduction to logic programming
Hogger, Christopher John.
London Academic
1984
Bibliography: p262-272. - Includes index
Electronic digital computers
Logic, Symbolic and mathematical.