This is an implementation of the formal framework of Projective Discourse Representation Theory (Venhuizen et al. 2013; 2014), which is an extension of standard Discourse Representation Theory (Kamp 1981; Kamp & Reyle 1993) with projection pointers.
The implementation includes a translation from PDRT to DRT and First-order Logic, composition via different types of merge, and unresolved structures based on Montague Semantics, defined as Haskell functions.
H. Kamp. A theory of truth and semantic representation, 1981.
H. Kamp and U. Reyle. From discourse to logic: Introduction to model-theoretic semantics of natural language, formal logic and Discourse Representation Theory, 1993.
N. J. Venhuizen, J. Bos and H. Brouwer. Parsimonious semantic representations with projection pointers, 2013.
N. J. Venhuizen, J. Bos, P. Hendriks and H. Brouwer. How and why conventional implicatures project, 2014.
The library is available under the Apache License, Version 2.0.