CommonJSJVM
2p-kt
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.
| Package | Supported platforms & targets | |
|---|---|---|
| it.unibo.tuprolog:bdd:1.0.4 | Common, JVM, JS / (1 target) | Details |
| it.unibo.tuprolog:core:1.0.4 | Common, JVM, JS / (1 target) | Details |
| it.unibo.tuprolog:datalog:1.0.4 | Common, JVM, JS / (1 target) | Details |
| it.unibo.tuprolog:dsl-core:1.0.4 | Common, JVM, JS / (1 target) | Details |
| it.unibo.tuprolog:dsl-solve:1.0.4 | Common, JVM, JS / (1 target) | Details |
| it.unibo.tuprolog:dsl-theory:1.0.4 | Common, JVM, JS / (1 target) | Details |
| it.unibo.tuprolog:dsl-unify:1.0.4 | Common, JVM, JS / (1 target) | Details |
| it.unibo.tuprolog:full:1.0.4 | Common, JVM, JS / (1 target) | Details |
| it.unibo.tuprolog:io-lib:1.0.4 | Common, JVM, JS / (1 target) | Details |
| it.unibo.tuprolog:oop-lib:1.0.4 | Common, JVM, JS / (1 target) | Details |
| it.unibo.tuprolog:parser-core:1.0.4 | Common, JVM, JS / (1 target) | Details |
| it.unibo.tuprolog:parser-theory:1.0.4 | Common, JVM, JS / (1 target) | Details |
| it.unibo.tuprolog:repl:1.0.4 | Common, JVM, JS / (1 target) | Details |
| it.unibo.tuprolog:serialize-core:1.0.4 | Common, JVM, JS / (1 target) | Details |
| it.unibo.tuprolog:serialize-theory:1.0.4 | Common, JVM, JS / (1 target) | Details |
| it.unibo.tuprolog:solve:1.0.4 | Common, JVM, JS / (1 target) | Details |
| it.unibo.tuprolog:solve-classic:1.0.4 | Common, JVM, JS / (1 target) | Details |
| it.unibo.tuprolog:solve-concurrent:1.0.4 | Common, JVM, JS / (1 target) | Details |
| it.unibo.tuprolog:solve-plp:1.0.4 | Common, JVM, JS / (1 target) | Details |
| it.unibo.tuprolog:solve-problog:1.0.4 | Common, JVM, JS / (1 target) | Details |
| it.unibo.tuprolog:solve-streams:1.0.4 | Common, JVM, JS / (1 target) | Details |
| it.unibo.tuprolog:test-solve:1.0.4 | Common, JVM, JS / (1 target) | Details |
| it.unibo.tuprolog:theory:1.0.4 | Common, JVM, JS / (1 target) | Details |
| it.unibo.tuprolog:unify:1.0.4 | Common, JVM, JS / (1 target) | Details |
| it.unibo.tuprolog:utils:1.0.4 | Common, JVM, JS / (1 target) | Details |
| it.unibo.tuprolog:2p:0.31.5-dev0f+5a2ad7593 | Common, JVM, JS | Details |
Metadata
Latest release
4 months ago
1.0.4
- 93 stars
- Created 4 years ago
- 92 open issues
- Latest activity: 6 hours ago
Links
License
- Apache License 2.0
Updated 5 hours ago
