Group : it.unibo.tuprolog

2P-Kt Full

it.unibo.tuprolog » full

Umbrella package, depending on all 2P-Kt

更新时间: 2024-05-27 00:36

2P in Kotlin -- Module `parser-core`

it.unibo.tuprolog » parser-core-js

Multi-platform Prolog environment, in Kotlin

更新时间: 2024-05-27 00:35

2P-Kt Full

it.unibo.tuprolog » full-jvm

Umbrella package, depending on all 2P-Kt

更新时间: 2024-05-27 00:35

2P in Kotlin -- Module `parser-js`

it.unibo.tuprolog » parser-js

Multi-platform Prolog environment, in Kotlin

更新时间: 2024-05-27 00:35

2P-Kt Full

it.unibo.tuprolog » full-js

Umbrella package, depending on all 2P-Kt

更新时间: 2024-05-27 00:35

2P-Kt -- Module `Ide`

it.unibo.tuprolog » ide

Customisable, JavaFX-based GUI for logic solvers

更新时间: 2024-05-27 00:35

2P-Kt -- Module `Ide Plp`

it.unibo.tuprolog » ide-plp

Customisable, JavaFX-based GUI for probabilistic logic solvers

更新时间: 2024-05-27 00:35

2P-Kt -- Module `Oop Lib`

it.unibo.tuprolog » oop-lib

Extension library for logic solvers, enabling OOP support in logic programs

更新时间: 2024-05-27 00:35

2P-Kt -- Module `Oop Lib`

it.unibo.tuprolog » oop-lib-jvm

Extension library for logic solvers, enabling OOP support in logic programs

更新时间: 2024-05-27 00:35

2P-Kt -- Module `Oop Lib`

it.unibo.tuprolog » oop-lib-js

Extension library for logic solvers, enabling OOP support in logic programs

更新时间: 2024-05-27 00:35

2P-Kt -- Module `Io Lib`

it.unibo.tuprolog » io-lib

Extension library for logic solvers, enabling IO support in logic programs

更新时间: 2024-05-27 00:35

2P-Kt -- Module `Io Lib`

it.unibo.tuprolog » io-lib-jvm

Extension library for logic solvers, enabling IO support in logic programs

更新时间: 2024-05-27 00:35

2P-Kt -- Module `Io Lib`

it.unibo.tuprolog » io-lib-js

Extension library for logic solvers, enabling IO support in logic programs

更新时间: 2024-05-27 00:35

2P in Kotlin -- Module `examples`

it.unibo.tuprolog » examples

Multi-platform Prolog environment, in Kotlin

更新时间: 2024-05-27 00:34

2P-Kt -- Module `Dsl Solve`

it.unibo.tuprolog » dsl-solve

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

更新时间: 2024-05-27 00:34
共7页 , 总 103
索引仓库
仓库 个数
Central 592045