Home People Publications Talks Projects Products Events Courses Theses

Focus

tuProlog is a light-weight Prolog system for distributed applications and infrastructures, intentionally designed around a minimal core (containing only the most essential properties of a Prolog engine), to be later configured by (statically and dynamically) loading/unloading libraries of predicates. tuProlog also 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. It is also easily deployable, just requiring the presence of a Java/CLR virtual machine and an invocation upon a single self-contained archive file. Interoperability is further developed along the two main lines of Internet standard patterns and coordination models.

tuProlog and related packages are released under the GNU Lesser General Public License license agreement, so no payment is required for using it. However, we welcome donations (see menu aside).

Current versions:

  • Java SE: 2.7.0
  • Android: 2.7.0
  • .NET: 2.6.0
  • Eclipse: 2.7.0
You can see some screenshots here.

Download

In this area you can download tuProlog distributions and libraries or tools that you need.

Documents

In this area you can consult tuProlog documents that you may need. You can read articles or download guides and tutorials.

tuProlog on SourceForge

tuProlog on Social Networks

Official Users

This area is dedicated to users who have successfully exploited tuProlog technology in their official projects. Additional instructions for individuals or organizations willing to support by donating to tuProlog are included.