tuProlog

tuProlog Home

What is tuProlog?

tuProlog is a light-weight Prolog system for distributed applications and infrastructures, intentionally designed around a minimal core, to be either statically or dynamically configured by loading/unloading libraries of predicates. 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.

tuProlog and related packages are released under the GNU Lesser General Public License, via GitLab as a Git repository (see Git Quick Start for a fast introduction) and on Maven Central Repository.



Getting Started

  • Download 2p.jar archive from the GitLab download section
  • Double click the executable
  • The tuProlog IDE should appear, as depicted below:
    • tuProlog-boot.png

Getting Started from GitLab

  • Clone the git repository and run the following commands
  • git clone --single-branch --branch master https://gitlab.com/pika-lab/tuprolog/2p
    cd 2p
    ./gradlew ide
    # or ./gradlew repl
  • The tuProlog IDE should appear, as depicted below:
    • tuProlog-boot.png