What's New in Maven

Knowlege representation via logic terms and clauses

Kotlin DSL for logic programming, enriched with unification and clause storage facilities

Knowlege representation via logic terms and clauses

Knowlege representation via logic terms and clauses

Stable, state-machine-based implementation of Prolog's SLDNF resolution principle

Resolution-agnostic API for logic solvers

Kotlin DSL for logic programming, enriched with unification and clause storage facilities

Kotlin DSL for logic programming, enriched with unification and clause storage facilities

Parsing facilities for knoledge bases made up of logic clauses, out of Prolog standard syntax

In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by logic clauses

Logic unification for logic terms and clauses

Logic unification for logic terms and clauses

Knowlege representation via logic terms and clauses

Resolution-agnostic API for logic solvers

Resolution-agnostic API for logic solvers

In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by logic clauses

In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by logic clauses

In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by logic clauses

Logic unification for logic terms and clauses

Resolution-agnostic API for logic solvers

Kotlin DSL for logic programming, enriched with unification and clause storage facilities

Logic unification for logic terms and clauses

A networking framework that evolves with your application

A networking framework that evolves with your application

A networking framework that evolves with your application

A networking framework that evolves with your application

A networking framework that evolves with your application

A networking framework that evolves with your application

A networking framework that evolves with your application

A networking framework that evolves with your application

A networking framework that evolves with your application

A networking framework that evolves with your application

A networking framework that evolves with your application

A networking framework that evolves with your application

A networking framework that evolves with your application