Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
repo1.maven.org "simbolic-ai" keyword
it.unibo.tuprolog:solve-plp-js 1.0.3
Resolution-agnostic API for probabilistic logic solvers64 versions - Latest release: 7 days ago - 3 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:utils-jvm 1.0.3
Provides various facilities required by the 2P-Kt project, including but not limited to caching, ...92 versions - Latest release: 7 days ago - 3 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:full 1.0.3
Umbrella package, depending on all 2P-Kt57 versions - Latest release: 7 days ago - 65 stars on GitHub
it.unibo.tuprolog:test-solve-jvm 1.0.3
Common testing facilities for 2P-Kt-based logic solvers96 versions - Latest release: 7 days ago - 65 stars on GitHub
it.unibo.tuprolog:dsl-theory-js 1.0.3
Kotlin DSL for logic programming, enriched with unification and clause storage facilities107 versions - Latest release: 7 days ago - 7 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:test-solve-js 1.0.3
Common testing facilities for 2P-Kt-based logic solvers96 versions - Latest release: 7 days ago - 65 stars on GitHub
it.unibo.tuprolog:dsl-core 1.0.3
Kotlin DSL for knowledge representation via logic programming107 versions - Latest release: 7 days ago - 3 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:solve-streams 1.0.3
Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle107 versions - Latest release: 7 days ago - 2 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:parser-js 1.0.3
Internal, JS-specific implementation of a Prolog syntax parser supporting dynamic operators defin...106 versions - Latest release: 7 days ago - 3 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:full-jvm 1.0.3
Umbrella package, depending on all 2P-Kt57 versions - Latest release: 7 days ago - 65 stars on GitHub
it.unibo.tuprolog:oop-lib-metadata 0.17.4
Extension library for logic solvers, enabling OOP support in logic programs20 versions - Latest release: almost 3 years ago - 2 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:bdd 1.0.3
Multi-platform library for representing and manipulating Binary Decision Diagrams64 versions - Latest release: 7 days ago - 4 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:test-solve-metadata 0.17.4
Common testing facilities for 2P-Kt-based logic solvers30 versions - Latest release: almost 3 years ago - 65 stars on GitHub
it.unibo.tuprolog:core 1.0.3
Knowlege representation via logic terms and clauses107 versions - Latest release: 7 days ago - 10 dependent packages - 1 dependent repositories - 65 stars on GitHub
it.unibo.tuprolog:theory 1.0.3
In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by l...107 versions - Latest release: 7 days ago - 6 dependent packages - 1 dependent repositories - 65 stars on GitHub
it.unibo.tuprolog:solve-concurrent 1.0.3
Experimental, state-machine-based implementation of an OR-Concurrent, Prolog-like logic solver, b...57 versions - Latest release: 7 days ago - 1 dependent package - 65 stars on GitHub
it.unibo.tuprolog:serialize-core 1.0.3
JSON and YAML serialization support for logic terms and clauses106 versions - Latest release: 7 days ago - 3 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:solve-concurrent-jvm 1.0.3
Experimental, state-machine-based implementation of an OR-Concurrent, Prolog-like logic solver, b...57 versions - Latest release: 7 days ago - 2 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:2p-js 0.31.5
Multi-platform logic programming ecosystem supporting JVM, JavaScript, and Android78 versions - Latest release: about 1 year ago - 1 dependent package - 65 stars on GitHub
it.unibo.tuprolog:solve-classic-metadata 0.17.4
Stable, state-machine-based implementation of Prolog's SLDNF resolution principle30 versions - Latest release: almost 3 years ago - 3 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:solve-metadata 0.17.4
Resolution-agnostic API for logic solvers30 versions - Latest release: almost 3 years ago - 6 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:unify-metadata 0.17.4
Logic unification for logic terms and clauses30 versions - Latest release: almost 3 years ago - 5 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:parser-core-metadata 0.17.4
Parsing facilities for logic terms and clauses out of Prolog standard syntax30 versions - Latest release: almost 3 years ago - 2 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:serialize-core-js 1.0.3
JSON and YAML serialization support for logic terms and clauses106 versions - Latest release: 7 days ago - 3 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:io-lib-js 1.0.3
Extension library for logic solvers, enabling IO support in logic programs95 versions - Latest release: 7 days ago - 3 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:bdd-js 1.0.3
Multi-platform library for representing and manipulating Binary Decision Diagrams64 versions - Latest release: 7 days ago - 4 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:solve-streams-js 1.0.3
Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle107 versions - Latest release: 7 days ago - 2 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:serialize-theory 1.0.3
JSON and YAML serialization support for logic theories106 versions - Latest release: 7 days ago - 2 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:solve-problog 1.0.3
State-machine-based implementation of ProbLog64 versions - Latest release: 7 days ago - 2 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:theory-metadata 0.17.4
In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by l...30 versions - Latest release: almost 3 years ago - 5 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:serialize-theory-metadata 0.17.4
Multi-platform logic programming ecosystem supporting JVM, JavaScript, and Android29 versions - Latest release: almost 3 years ago - 1 dependent package - 65 stars on GitHub
it.unibo.tuprolog:repl-jvm 1.0.3
Customisable, command-line interface for logic solvers107 versions - Latest release: 7 days ago - 2 dependent packages - 2 dependent repositories - 65 stars on GitHub
it.unibo.tuprolog:dsl-core-metadata 0.17.4
Kotlin DSL for knowledge representation via logic programming30 versions - Latest release: almost 3 years ago - 2 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:solve-problog-jvm 1.0.3
State-machine-based implementation of ProbLog64 versions - Latest release: 7 days ago - 4 dependent packages - 1 dependent repositories - 65 stars on GitHub
it.unibo.tuprolog:repl-metadata 0.17.4
Customisable, command-line interface for logic solvers30 versions - Latest release: almost 3 years ago - 1 dependent package - 65 stars on GitHub
it.unibo.tuprolog:serialize-core-metadata 0.17.4
Multi-platform logic programming ecosystem supporting JVM, JavaScript, and Android29 versions - Latest release: almost 3 years ago - 2 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:dsl-solve 1.0.3
Kotlin DSL for logic programming, enriched with unification, clause storage, and resolution facil...104 versions - Latest release: 7 days ago - 2 dependent packages - 1 dependent repositories - 65 stars on GitHub
it.unibo.tuprolog:solve 1.0.3
Resolution-agnostic API for logic solvers107 versions - Latest release: 7 days ago - 10 dependent packages - 1 dependent repositories - 65 stars on GitHub
it.unibo.tuprolog:examples 1.0.3
Collection of usage examples for 2P-Kt106 versions - Latest release: 7 days ago - 1 dependent package - 65 stars on GitHub
it.unibo.tuprolog:io-lib-metadata 0.17.4
Extension library for logic solvers, enabling IO support in logic programs18 versions - Latest release: almost 3 years ago - 2 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:parser-theory-js 1.0.3
Parsing facilities for knoledge bases made up of logic clauses, out of Prolog standard syntax107 versions - Latest release: 7 days ago - 5 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:dsl-solve-jvm 1.0.3
Kotlin DSL for logic programming, enriched with unification, clause storage, and resolution facil...104 versions - Latest release: 7 days ago - 5 dependent packages - 2 dependent repositories - 65 stars on GitHub
it.unibo.tuprolog:solve-classic-js 1.0.3
Stable, state-machine-based implementation of Prolog's SLDNF resolution principle107 versions - Latest release: 7 days ago - 6 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:serialize-core-jvm 1.0.3
JSON and YAML serialization support for logic terms and clauses106 versions - Latest release: 7 days ago - 4 dependent packages - 2 dependent repositories - 65 stars on GitHub
it.unibo.tuprolog:solve-plp-jvm 1.0.3
Resolution-agnostic API for probabilistic logic solvers64 versions - Latest release: 7 days ago - 3 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:test-solve 1.0.3
Common testing facilities for 2P-Kt-based logic solvers96 versions - Latest release: 7 days ago - 2 dependent repositories - 65 stars on GitHub
it.unibo.tuprolog:parser-core 1.0.3
Parsing facilities for logic terms and clauses out of Prolog standard syntax107 versions - Latest release: 7 days ago - 3 dependent packages - 1 dependent repositories - 65 stars on GitHub
it.unibo.tuprolog:repl-js 1.0.3
Customisable, command-line interface for logic solvers107 versions - Latest release: 7 days ago - 2 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:serialize-theory-js 1.0.3
JSON and YAML serialization support for logic theories106 versions - Latest release: 7 days ago - 2 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:unify-js 1.0.3
Logic unification for logic terms and clauses107 versions - Latest release: 7 days ago - 6 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:core-jvm 1.0.3
Knowlege representation via logic terms and clauses107 versions - Latest release: 7 days ago - 10 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:ide-plp 1.0.3
Customisable, JavaFX-based GUI for probabilistic logic solvers63 versions - Latest release: 7 days ago - 3 dependent packages - 2 dependent repositories - 65 stars on GitHub
it.unibo.tuprolog:full-js 1.0.3
Umbrella package, depending on all 2P-Kt57 versions - Latest release: 7 days ago - 65 stars on GitHub
it.unibo.tuprolog:repl 1.0.3
Customisable, command-line interface for logic solvers107 versions - Latest release: 7 days ago - 2 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:theory-jvm 1.0.3
In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by l...107 versions - Latest release: 7 days ago - 7 dependent packages - 4 dependent repositories - 65 stars on GitHub
it.unibo.tuprolog:unify-jvm 1.0.3
Logic unification for logic terms and clauses107 versions - Latest release: 7 days ago - 6 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:bdd-jvm 1.0.3
Multi-platform library for representing and manipulating Binary Decision Diagrams64 versions - Latest release: 7 days ago - 4 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:theory-js 1.0.3
In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by l...107 versions - Latest release: 7 days ago - 6 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:solve-jvm 1.0.3
Resolution-agnostic API for logic solvers107 versions - Latest release: 7 days ago - 10 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:unify 1.0.3
Logic unification for logic terms and clauses107 versions - Latest release: 7 days ago - 6 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:oop-lib-js 1.0.3
Extension library for logic solvers, enabling OOP support in logic programs97 versions - Latest release: 7 days ago - 3 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:dsl-unify-js 1.0.3
Kotlin DSL for logic programming, enriched with unification facilities107 versions - Latest release: 7 days ago - 3 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:solve-streams-jvm 1.0.3
Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle107 versions - Latest release: 7 days ago - 2 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:dsl-core-jvm 1.0.3
Kotlin DSL for knowledge representation via logic programming107 versions - Latest release: 7 days ago - 3 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:dsl-unify-jvm 1.0.3
Kotlin DSL for logic programming, enriched with unification facilities107 versions - Latest release: 7 days ago - 3 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:solve-js 1.0.3
Resolution-agnostic API for logic solvers107 versions - Latest release: 7 days ago - 10 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:core-metadata 0.17.4
Knowlege representation via logic terms and clauses30 versions - Latest release: almost 3 years ago - 9 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:dsl-theory-jvm 1.0.3
Kotlin DSL for logic programming, enriched with unification and clause storage facilities107 versions - Latest release: 7 days ago - 8 dependent packages - 1 dependent repositories - 65 stars on GitHub
it.unibo.tuprolog:serialize-theory-jvm 1.0.3
JSON and YAML serialization support for logic theories106 versions - Latest release: 7 days ago - 2 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:dsl-unify 1.0.3
Kotlin DSL for logic programming, enriched with unification facilities107 versions - Latest release: 7 days ago - 3 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:oop-lib 1.0.3
Extension library for logic solvers, enabling OOP support in logic programs97 versions - Latest release: 7 days ago - 3 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:2p-jvm 0.31.5
Multi-platform logic programming ecosystem supporting JVM, JavaScript, and Android78 versions - Latest release: about 1 year ago - 1 dependent package - 65 stars on GitHub
it.unibo.tuprolog:dsl-core-js 1.0.3
Kotlin DSL for knowledge representation via logic programming107 versions - Latest release: 7 days ago - 3 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:parser-theory-metadata 0.17.4
Parsing facilities for knoledge bases made up of logic clauses, out of Prolog standard syntax30 versions - Latest release: almost 3 years ago - 3 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:io-lib-jvm 1.0.3
Extension library for logic solvers, enabling IO support in logic programs95 versions - Latest release: 7 days ago - 5 dependent packages - 46 dependent repositories - 65 stars on GitHub
it.unibo.tuprolog:utils-js 1.0.3
Provides various facilities required by the 2P-Kt project, including but not limited to caching, ...92 versions - Latest release: 7 days ago - 3 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:solve-concurrent-js 1.0.3
Experimental, state-machine-based implementation of an OR-Concurrent, Prolog-like logic solver, b...57 versions - Latest release: 7 days ago - 1 dependent package - 65 stars on GitHub
it.unibo.tuprolog:dsl-solve-js 1.0.3
Kotlin DSL for logic programming, enriched with unification, clause storage, and resolution facil...104 versions - Latest release: 7 days ago - 3 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:2p-metadata 0.17.4
Multi-platform logic programming ecosystem supporting JVM, JavaScript, and Android27 versions - Latest release: almost 3 years ago - 65 stars on GitHub
it.unibo.tuprolog:dsl-solve-metadata 0.17.4
Kotlin DSL for logic programming, enriched with unification, clause storage, and resolution facil...27 versions - Latest release: almost 3 years ago - 1 dependent package - 65 stars on GitHub
it.unibo.tuprolog:2p 0.31.5
Multi-platform logic programming ecosystem supporting JVM, JavaScript, and Android77 versions - Latest release: about 1 year ago - 1 dependent package - 65 stars on GitHub
it.unibo.tuprolog:parser-theory 1.0.3
Parsing facilities for knoledge bases made up of logic clauses, out of Prolog standard syntax107 versions - Latest release: 7 days ago - 4 dependent packages - 2 dependent repositories - 65 stars on GitHub
it.unibo.tuprolog:parser-core-js 1.0.3
Parsing facilities for logic terms and clauses out of Prolog standard syntax107 versions - Latest release: 7 days ago - 3 dependent packages - 5 dependent repositories - 65 stars on GitHub
it.unibo.tuprolog:parser-jvm 1.0.3
Internal, JVM-specific implementation of a Prolog syntax parser supporting dynamic operators defi...106 versions - Latest release: 7 days ago - 4 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:solve-problog-js 1.0.3
State-machine-based implementation of ProbLog64 versions - Latest release: 7 days ago - 2 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:utils 1.0.3
Provides various facilities required by the 2P-Kt project, including but not limited to caching, ...92 versions - Latest release: 7 days ago - 3 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:core-js 1.0.3
Knowlege representation via logic terms and clauses107 versions - Latest release: 7 days ago - 10 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:utils-metadata 0.17.4
Multi-platform logic programming ecosystem supporting JVM, JavaScript, and Android15 versions - Latest release: almost 3 years ago - 2 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:io-lib 1.0.3
Extension library for logic solvers, enabling IO support in logic programs95 versions - Latest release: 7 days ago - 3 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:dsl-unify-metadata 0.17.4
Kotlin DSL for logic programming, enriched with unification facilities30 versions - Latest release: almost 3 years ago - 2 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:ide 1.0.3
Customisable, JavaFX-based GUI for logic solvers91 versions - Latest release: 7 days ago - 4 dependent packages - 2 dependent repositories - 65 stars on GitHub
it.unibo.tuprolog:parser-core-jvm 1.0.3
Parsing facilities for logic terms and clauses out of Prolog standard syntax107 versions - Latest release: 7 days ago - 4 dependent packages - 2 dependent repositories - 65 stars on GitHub
it.unibo.tuprolog:parser-theory-jvm 1.0.3
Parsing facilities for knoledge bases made up of logic clauses, out of Prolog standard syntax107 versions - Latest release: 7 days ago - 12 dependent packages - 4 dependent repositories - 65 stars on GitHub
it.unibo.tuprolog:solve-plp 1.0.3
Resolution-agnostic API for probabilistic logic solvers64 versions - Latest release: 7 days ago - 3 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:solve-classic-jvm 1.0.3
Stable, state-machine-based implementation of Prolog's SLDNF resolution principle107 versions - Latest release: 7 days ago - 14 dependent packages - 46 dependent repositories - 65 stars on GitHub
it.unibo.tuprolog:dsl-theory-metadata 0.17.4
Kotlin DSL for logic programming, enriched with unification and clause storage facilities30 versions - Latest release: almost 3 years ago - 5 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:oop-lib-jvm 1.0.3
Extension library for logic solvers, enabling OOP support in logic programs97 versions - Latest release: 7 days ago - 5 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:dsl-theory 1.0.3
Kotlin DSL for logic programming, enriched with unification and clause storage facilities107 versions - Latest release: 7 days ago - 6 dependent packages - 65 stars on GitHub
it.unibo.tuprolog:solve-classic 1.0.3
Stable, state-machine-based implementation of Prolog's SLDNF resolution principle107 versions - Latest release: 7 days ago - 5 dependent packages - 2 dependent repositories - 65 stars on GitHub
it.unibo.tuprolog:solve-streams-metadata 0.17.4
Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle30 versions - Latest release: almost 3 years ago - 1 dependent package - 65 stars on GitHub