Last Version

2P-Kt, DSL-Theory Module 0.20.9-dev03+3250bb16

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

License

License

Categories

Categories

JavaScript Languages
GroupId

GroupId

it.unibo.tuprolog
ArtifactId

ArtifactId

dsl-theory-js
Version

Version

0.20.9-dev03+3250bb16
Type

Type

pom.sha512
Description

Description

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

Project URL

https://github.com/tuProlog/2p-kt
Source Code Management

Source Code Management

https://github.com/tuProlog/2p-kt

Download dsl-theory-js 0.20.9-dev03+3250bb16

Dependencies

compile (4)

Group / Artifact Type Version
org.jetbrains.kotlin : kotlin-stdlib-js jar 1.7.0
org.jetbrains.kotlin : kotlin-stdlib-common jar 1.7.0
it.unibo.tuprolog : dsl-unify-js jar 0.20.9-dev03+3250bb16
it.unibo.tuprolog : theory-js jar 0.20.9-dev03+3250bb16

Project Modules

There are no modules declared in this project.