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.

Kodee spinning
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
License
  • Apache License 2.0

Updated 5 hours ago