Group: it.unibo.tuprolog - All Dependencies

2P-Kt -- Module `Core` · Knowlege representation via logic terms and clauses

2P-Kt, Core Module · Knowlege representation via logic terms and clauses

2P-Kt, Core Module · Knowlege representation via logic terms and clauses

2P-Kt, Core Module · Knowlege representation via logic terms and clauses

2P-Kt, Solve-Classic Module · Stable, state-machine-based implementation of Prolog's SLDNF resolution principle

2P-Kt, Solve Module · Resolution-agnostic API for logic solvers

2P-Kt, Solve Module · Resolution-agnostic API for logic solvers

2P-Kt, Solve Module · Resolution-agnostic API for logic solvers

2P-Kt, Parser-Theory Module · Parsing facilities for knoledge bases made up of logic clauses, out of Prolog standard syntax

2P-Kt, Theory Module · In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by logic clauses

2P-Kt -- Module `Solve` · Resolution-agnostic API for logic solvers

2P-Kt, DSL-Theory Module · Kotlin DSL for logic programming, enriched with unification and clause storage facilities

2P-Kt -- Module `Unify` · Logic unification for logic terms and clauses

2P-Kt, Unify Module · Logic unification for logic terms and clauses

2P-Kt, Unify Module · Logic unification for logic terms and clauses

2P-Kt, Unify Module · Logic unification for logic terms and clauses

2P-Kt -- Module `Theory` · In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by logic clauses

2P-Kt, Theory Module · In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by logic clauses

2P-Kt, Theory Module · In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by logic clauses

2P-Kt, Solve-Classic Module · Stable, state-machine-based implementation of Prolog's SLDNF resolution principle

2P-Kt -- Module `Dsl Theory` · Kotlin DSL for logic programming, enriched with unification and clause storage facilities

2P-Kt, DSL-Theory Module · Kotlin DSL for logic programming, enriched with unification and clause storage facilities

2P-Kt, DSL-Theory Module · Kotlin DSL for logic programming, enriched with unification and clause storage facilities

2P-Kt, Solve-Classic Module · Stable, state-machine-based implementation of Prolog's SLDNF resolution principle