2P is a light-weight Java-based Prolog (interpreter and API). Features: core minimality (suitable for applet and mobile computing), dynamic extensibility and configurability, bi-directional integration with Java.
Download
tuProlog.NET - tuProlog.NET 2.1
Last Update: Jan 15 2008