A Language for Contextual Logic Programming | part of Logic Programming Languages: Constraints, Functions, and Objects | MIT Press books | IEEE Xplore