tuProlog

Multi-paradigm logic programming framework for symbolic AI, supporting knowledge representation and reasoning. Features include logic unification, query resolution, probabilistic logic programming, concurrent resolution, and Prolog-like DSL. Modular architecture encourages extensibility. Available as CLI, IDE, or library with various modules for different functionalities.

Implements a lightweight ASPIC+-like framework for structured argumentation, offering a Prolog interpreter with GUI and library integration via Gradle, Maven, and NPM.