Indexed Artifacts (20.3M)

Popular Categories

What's New in Maven

Knowlege representation via logic terms and clauses
Last Release on Mar 15, 2021
Kotlin DSL for logic programming, enriched with unification and clause storage facilities
Last Release on Mar 15, 2021
Knowlege representation via logic terms and clauses
Last Release on Mar 15, 2021
Knowlege representation via logic terms and clauses
Last Release on Mar 15, 2021
Stable, state-machine-based implementation of Prolog's SLDNF resolution principle
Last Release on Mar 15, 2021
Resolution-agnostic API for logic solvers
Last Release on Mar 15, 2021
Kotlin DSL for logic programming, enriched with unification and clause storage facilities
Last Release on Mar 15, 2021
Kotlin DSL for logic programming, enriched with unification and clause storage facilities
Last Release on Mar 15, 2021
Parsing facilities for knoledge bases made up of logic clauses, out of Prolog standard syntax
Last Release on Mar 15, 2021
In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by logic clauses
Last Release on Mar 15, 2021
Logic unification for logic terms and clauses
Last Release on Mar 15, 2021
Logic unification for logic terms and clauses
Last Release on Mar 15, 2021
Knowlege representation via logic terms and clauses
Last Release on Mar 15, 2021
Resolution-agnostic API for logic solvers
Last Release on Mar 15, 2021
Resolution-agnostic API for logic solvers
Last Release on Mar 15, 2021
In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by logic clauses
Last Release on Mar 15, 2021
In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by logic clauses
Last Release on Mar 15, 2021
In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by logic clauses
Last Release on Mar 15, 2021
Logic unification for logic terms and clauses
Last Release on Mar 15, 2021
Resolution-agnostic API for logic solvers
Last Release on Mar 15, 2021
Kotlin DSL for logic programming, enriched with unification and clause storage facilities
Last Release on Mar 15, 2021
Logic unification for logic terms and clauses
Last Release on Mar 15, 2021
A networking framework that evolves with your application
Last Release on Apr 20, 2021
A networking framework that evolves with your application
Last Release on Apr 20, 2021
A networking framework that evolves with your application
Last Release on Apr 20, 2021
A networking framework that evolves with your application
Last Release on Apr 20, 2021
A networking framework that evolves with your application
Last Release on Apr 20, 2021
A networking framework that evolves with your application
Last Release on Apr 20, 2021
A networking framework that evolves with your application
Last Release on Apr 20, 2021
A networking framework that evolves with your application
Last Release on Apr 20, 2021
A networking framework that evolves with your application
Last Release on Apr 20, 2021
A networking framework that evolves with your application
Last Release on Apr 20, 2021
A networking framework that evolves with your application
Last Release on Apr 20, 2021
A networking framework that evolves with your application
Last Release on Apr 20, 2021
A networking framework that evolves with your application
Last Release on Apr 20, 2021