(Some of) Lee's software

• Pawns programming language - a functional language with pointers and destructive update that can be encapsulated inside pure code
• Adtpp: lightweight efficient safe polymorphic algebraic data types for C
• New average speed metric for gpx files etc
• MU-Prolog (primarily of historical interest)
• NU-Prolog (implemented mainly by Jeff Schultz)
• PNU-Prolog (stream and-parallel version of Prolog)
• NUE-Prolog (combined relational + functional language)
• NUOO-Prolog (object oriented extension to Prolog)
• Declarative debuggers for Prolog
• Declarative debugger for (functional part of) NUE-Prolog
• Declarative debugger for full NUE-Prolog
• Declarative debugger for NUOO-Prolog
• Type checkers for Prolog
• NU-Prolog Debugging Environment (NUDE)
• Groundness analyser for NU-Prolog
• Determinacy analysis for Andorra
• Pure Prolog program transformation system
• HTML forms interface to NU-Prolog