it.unibo.tuprolog » serialize-theory-metadata
Multi-platform logic programming ecosystem supporting JVM, JavaScript, and Android
更新时间: 2021-05-18 16:30it.unibo.tuprolog » serialize-core-metadata
Multi-platform logic programming ecosystem supporting JVM, JavaScript, and Android
更新时间: 2021-05-18 16:30it.unibo.tuprolog » repl-metadata
Multi-platform Prolog environment, in Kotlin
更新时间: 2021-05-18 16:30it.unibo.tuprolog » parser-theory-metadata
Multi-platform Prolog environment, in Kotlin
更新时间: 2021-05-18 16:29it.unibo.tuprolog » parser-core-metadata
Multi-platform Prolog environment, in Kotlin
更新时间: 2021-05-18 16:29it.unibo.tuprolog » oop-lib-metadata
Extension library for logic solvers, enabling OOP support in logic programs
更新时间: 2021-05-18 16:29it.unibo.tuprolog » io-lib-metadata
Extension library for logic solvers, enabling IO support in logic programs
更新时间: 2021-05-18 16:28it.unibo.tuprolog » dsl-unify-metadata
Multi-platform Prolog environment, in Kotlin
更新时间: 2021-05-18 16:28it.unibo.tuprolog » dsl-theory-metadata
Multi-platform Prolog environment, in Kotlin
更新时间: 2021-05-18 16:28it.unibo.tuprolog » dsl-solve-metadata
Kotlin DSL for logic programming, enriched with unification, clause storage, and resolution facilities
更新时间: 2021-05-18 16:27it.unibo.tuprolog » dsl-core-metadata
Multi-platform Prolog environment, in Kotlin
更新时间: 2021-05-18 16:27it.unibo.tuprolog » core-metadata
Multi-platform Prolog environment, in Kotlin
更新时间: 2021-05-18 16:27it.unibo.tuprolog » 2p-metadata
Multi-platform logic programming ecosystem supporting JVM, JavaScript, and Android
更新时间: 2021-05-18 16:27仓库 | 个数 |
Central | 592045 |