Group: it.unibo.tuprolog - All Dependencies

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

2P-Kt, OOP Library · Extension library for logic solvers, enabling OOP support in logic programs

2P-Kt, IO Library · Extension library for logic solvers, enabling IO support in logic programs

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

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

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

2P-Kt, Parser-JVM Module · Internal, JVM-specific implementation of a Prolog syntax parser supporting dynamic operators definition

2P-Kt, Parser-JS Module · Internal, JS-specific implementation of a Prolog syntax parser supporting dynamic operators definition

2P-Kt, Parser-Core Module · Parsing facilities for logic terms and clauses out of Prolog standard syntax

2P-Kt, Serialization-Core Module · JSON and YAML serialization support for logic terms and clauses

2P-Kt, IDE Module · Customisable, JavaFX-based GUI for logic solvers

2P-Kt, Solve-Problog Module · State-machine-based implementation of ProbLog

Binary Decision Diagrams Library · Multi-platform library for representing and manipulating Binary Decision Diagrams

Binary Decision Diagrams Library · Multi-platform library for representing and manipulating Binary Decision Diagrams

Binary Decision Diagrams Library · Multi-platform library for representing and manipulating Binary Decision Diagrams

2P-Kt -- Module `Parser Core` · Parsing facilities for logic terms and clauses out of Prolog standard syntax

2P-Kt, Parser-Core Module · Parsing facilities for logic terms and clauses out of Prolog standard syntax

2P-Kt, Parser-Core Module · Parsing facilities for logic terms and clauses out of Prolog standard syntax

2P-Kt -- Module `Dsl Unify` · Kotlin DSL for logic programming, enriched with unification facilities

2P-Kt, DSL-Unify Module · Kotlin DSL for logic programming, enriched with unification facilities

2P-Kt, DSL-Unify Module · Kotlin DSL for logic programming, enriched with unification facilities

2P-Kt, DSL-Unify Module · Kotlin DSL for logic programming, enriched with unification facilities

2P-Kt -- Module `Dsl Core` · Kotlin DSL for knowledge representation via logic programming

2P-Kt, DSL-Core Module · Kotlin DSL for knowledge representation via logic programming