Logic programming functions, relations, and equations - DeGroot, Doug; Lindstrom, Gary (Englewood Cliffs, New Jersey Prentice-Hall, 1986)
Keywords: Electronic Digital Computers -- Programming; Logic, Symbolic And Mathematical