Copyright © 2005 Elsevier Chapter 11 :: Logic Languages Programming Language Pragmatics Michael L. Scott.