Online or command-line calculator for Predicate Logic with Anaphora (PLA)
Simple monadic parsing of first-order logic and dynamic interpretation a la Paul Dekker's Predicate Logic with Anaphora (1994).
Ported to Elm by Dylan Bumford, and lives online here. An an explanation of the syntax and semantics of PLA can be found there as well. For the code, see the gh-pages branch.
