Based on Edinburgh Prolog and extended with object-oriented mechanisms, this Berkeley-style open-source system has a compiler written in Prolog and generates Transputer assembly code.
Content management system running on SWI Prolog (alpha). Uses a compilation approach rather than interactive modifications. Includes automatic indices and site maps.