Software: Prolog.NET, mod_fortress