is not current version
Last Version 0.20.9-dev03+3250bb16

2P-Kt, DSL-Solve Module 0.20.7

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

License

License

Categories

Categories

JavaScript Languages
GroupId

GroupId

it.unibo.tuprolog
ArtifactId

ArtifactId

dsl-solve-js
Version

Version

0.20.7
Type

Type

pom.sha512
Description

Description

2P-Kt, DSL-Solve Module
Kotlin DSL for logic programming, enriched with unification, clause storage, and resolution 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-solve-js 0.20.7

Dependencies

compile (4)

Group / Artifact Type Version
org.jetbrains.kotlin : kotlin-stdlib-js jar 1.6.21
org.jetbrains.kotlin : kotlin-stdlib-common jar 1.6.21
it.unibo.tuprolog : dsl-theory-js jar 0.20.7
it.unibo.tuprolog : solve-classic-js jar 0.20.7

Project Modules

There are no modules declared in this project.