Logic Programming Languages: Constraints, Functions, and Objects | MIT Press eBooks | IEEE Xplore