I am very glad to see this comment. In fact, I have a cgi page on Montague’s PTQ (sorry only in Japanese.)
http://web.sfc.keio.ac.jp/~mukai/cgitest/ptq.html
You will find some famous sample sentences in PTQ.
[john, walk]
[every, unicorn, seek, john]
...
I wrote originally as offline prolog codes in SICStus at that time more than 20 years ago, and revised it from time to time so as to work on latest SWI-Prolog. Although time has passed since I stopped, which is enough for me to be unfamiliar with recent states of computational semantics, still I keep several ideas to try. For example, ZDD for PTQ like sematics. In PTQ, an individual is interpreted as a bundle of properties (a proper filter, or similar). I am wondering if
ZDD technology opens a direct way to implement such huge computational models on computers assuming that possible worlds are similar to each other with rich sharing structues. Anyway I do not want to be taken seriously on this, but just in case you are interested.