Clojure implementation of Generalized Quantifiers for English as a simple demonstration of functions that construct functions. This is a compositional model theory semantics where the denotation of a quantifier is a function that maps the denotation of a noun to a function that maps the denotation of a verb phrase to a truth value. Object noun phrases are functions that map a transitive verb to a verb phrase.
Date Added:2011-03-14 09:02:24
Date Changed:2011-03-14 09:02:24