tuProlog is a light-weight Prolog system for distributed applications and infrastructures, intentionally designed around a minimal core extensible via libraries.
tuProlog natively supports multi-paradigm programming, providing a clean, seamless integration model between Prolog and mainstream object-oriented languages -- namely Java, for tuProlog Java version, and any .NET-based language (C#, F#..), for tuProlog .NET version.
This manual documents the tuProlog features as of version 3.