Logic programming, functions, relations, and equations - DeGroot, Doug; Lindstrom, Gary (Prentice-Hall, 1986)