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