Home » it.unibo.tuprolog » solve-classic-jvm » Usages

Artifacts using 2P Kt, Solve Classic Module (15)
Sort by:Popular▼

1. Rider Core11 usages

com.github.database-rider » rider-coreApache

Rider Core
Last Release on Jul 25, 2024

2. 2P Kt, DSL Solve Module6 usages

it.unibo.tuprolog » dsl-solve-jvmApache

Kotlin DSL for logic programming, enriched with unification, clause storage, and resolution facilities
Last Release on Sep 22, 2025

3. 2P Kt, IDE Module4 usages

it.unibo.tuprolog » ideApache

Customisable, JavaFX-based GUI for logic solvers
Last Release on Sep 22, 2025

4. 2P Kt, Solve Problog Module4 usages

it.unibo.tuprolog » solve-problog-jvmApache

State-machine-based implementation of ProbLog
Last Release on Sep 22, 2025

5. Arg TuProlog Kotlin4 usages

it.unibo.tuprolog.argumentation » core-jvmMIT

A 2p-kt library for structured argumentation
Last Release on Oct 1, 2025

6. JaKtA3 usages

it.unibo.jakta » jakta-bdiApache

A Kotlin internal DSL for the definition of BDI agents
Last Release on Nov 16, 2025

7. 2P Kt, REPL Module2 usages

it.unibo.tuprolog » repl-jvmApache

Customisable, command-line interface for logic solvers
Last Release on Sep 22, 2025

8. Arg TuProlog Kotlin2 usages

it.unibo.tuprolog.argumentation » causality-solver-jvmMIT

A 2p-kt library for structured argumentation
Last Release on Oct 1, 2025

9. Arg TuProlog Kotlin1 usages

it.unibo.tuprolog.argumentation » actor-solverMIT

A 2p-kt library for structured argumentation
Last Release on Oct 1, 2025

10. 2P Kt1 usages

it.unibo.tuprolog » 2p-jvmApache

Multi-platform logic programming ecosystem supporting JVM, JavaScript, and Android
Last Release on Apr 30, 2023