it.unibo.tuprolog » dsl-solve-jvm
Kotlin DSL for logic programming, enriched with unification, clause storage, and resolution facilities
更新时间: 2024-05-27 00:34Multi-platform Prolog environment, in Kotlin
更新时间: 2024-05-27 00:34it.unibo.tuprolog » dsl-solve-js
Kotlin DSL for logic programming, enriched with unification, clause storage, and resolution facilities
更新时间: 2024-05-27 00:34it.unibo.tuprolog » dsl-theory
Multi-platform Prolog environment, in Kotlin
更新时间: 2024-05-27 00:34it.unibo.tuprolog » dsl-unify-jvm
Multi-platform Prolog environment, in Kotlin
更新时间: 2024-05-27 00:34it.unibo.tuprolog » dsl-theory-jvm
Multi-platform Prolog environment, in Kotlin
更新时间: 2024-05-27 00:34it.unibo.tuprolog » dsl-unify-js
Multi-platform Prolog environment, in Kotlin
更新时间: 2024-05-27 00:34Multi-platform Prolog environment, in Kotlin
更新时间: 2024-05-27 00:34it.unibo.tuprolog » dsl-theory-js
Multi-platform Prolog environment, in Kotlin
更新时间: 2024-05-27 00:34it.unibo.tuprolog » dsl-core-jvm
Multi-platform Prolog environment, in Kotlin
更新时间: 2024-05-27 00:34it.unibo.tuprolog » dsl-core-js
Multi-platform Prolog environment, in Kotlin
更新时间: 2024-05-27 00:34Datalog-compliant utilities for knowledge representation
更新时间: 2024-05-27 00:33it.unibo.tuprolog » datalog-jvm
Datalog-compliant utilities for knowledge representation
更新时间: 2024-05-27 00:33it.unibo.tuprolog » datalog-js
Datalog-compliant utilities for knowledge representation
更新时间: 2024-05-27 00:33仓库 | 个数 |
Central | 592045 |