The GNU Prolog native compiler
GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.
A mediaval fantasy RPG/strategic game with deep, precious simulation of a dynamical self-developing gameworld, including metaphysic and sociopsychology, allowing the player to control a particular character or the gameworld in general.