jar

it.unibo.tuprolog : dsl-theory-jvm

Maven & Gradle

Aug 25, 2023
6 usages
93 stars

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

Homepage Documentation Readme Maven Central
Table Of Contents

Latest Version

Download it.unibo.tuprolog : dsl-theory-jvm JAR file - Latest Versions:

All Versions

Download it.unibo.tuprolog : dsl-theory-jvm JAR file - All Versions:

Version Vulnerabilities Size Updated
0.31.x
dsl-theory-jvm-0.31.13.jar
dsl-theory-jvm-0.31.12.jar
dsl-theory-jvm-0.31.11.jar
dsl-theory-jvm-0.31.10.jar
dsl-theory-jvm-0.31.9.jar
dsl-theory-jvm-0.31.8.jar
dsl-theory-jvm-0.31.7.jar
dsl-theory-jvm-0.31.5-dev0m+0c07eb350.jar
dsl-theory-jvm-0.31.5-dev0f+5a2ad7593.jar
dsl-theory-jvm-0.31.5-dev0c+d53549ad7.jar
dsl-theory-jvm-0.31.5-dev02+b65f8712e.jar
dsl-theory-jvm-0.31.5-dev01+75e0f28ea.jar
dsl-theory-jvm-0.31.5.jar
dsl-theory-jvm-0.31.4-dev01+3caf83203.jar
dsl-theory-jvm-0.31.4.jar
dsl-theory-jvm-0.31.3.jar
dsl-theory-jvm-0.31.2.jar
dsl-theory-jvm-0.31.1-dev02+0cd8a1ae6.jar
dsl-theory-jvm-0.31.1-dev01+f8b39929b.jar
dsl-theory-jvm-0.31.1.jar
dsl-theory-jvm-0.31.0.jar
0.30.x
dsl-theory-jvm-0.30.5.jar
dsl-theory-jvm-0.30.4.jar
dsl-theory-jvm-0.30.3-dev0a+69949374d.jar
dsl-theory-jvm-0.30.3.jar
dsl-theory-jvm-0.30.2-dev0f+259d7b5b.jar
dsl-theory-jvm-0.30.2-dev08+5b060658.jar
dsl-theory-jvm-0.30.2.jar
dsl-theory-jvm-0.30.1.jar
dsl-theory-jvm-0.30.0-dev01+725eae35.jar
dsl-theory-jvm-0.30.0.jar
0.20.x
dsl-theory-jvm-0.20.9-dev0g+63540268.jar
dsl-theory-jvm-0.20.9-dev0c+bc6d9512.jar
dsl-theory-jvm-0.20.9-dev0a+8e9a240b.jar
dsl-theory-jvm-0.20.9-dev03+3250bb16.jar
dsl-theory-jvm-0.20.9-dev02+01edbfee.jar
dsl-theory-jvm-0.20.9-dev01+ada92962.jar
dsl-theory-jvm-0.20.9.jar
dsl-theory-jvm-0.20.7.jar
dsl-theory-jvm-0.20.4.jar
dsl-theory-jvm-0.20.3.jar
dsl-theory-jvm-0.20.2-dev07+51892bb0.jar
dsl-theory-jvm-0.20.2.jar
dsl-theory-jvm-0.20.1.jar
dsl-theory-jvm-0.20.0.jar
0.19.x
dsl-theory-jvm-0.19.0-dev2h+f6956cce.jar
dsl-theory-jvm-0.19.0.jar
0.18.x
dsl-theory-jvm-0.18.2-dev11+a1bd2a91.jar
dsl-theory-jvm-0.18.2-dev0z+13957e4e.jar
dsl-theory-jvm-0.18.2.jar
dsl-theory-jvm-0.18.1-dev05+178b1e2d.jar
dsl-theory-jvm-0.18.1.jar
dsl-theory-jvm-0.18.0.jar
0.17.x
dsl-theory-jvm-0.17.4-dev1q+a89f03d9.jar
dsl-theory-jvm-0.17.4-dev1d+a1160f82.jar
dsl-theory-jvm-0.17.4-dev0j+7e9a6f28.jar
dsl-theory-jvm-0.17.4-dev09+485a46b2.jar
dsl-theory-jvm-0.17.4.jar
dsl-theory-jvm-0.17.3-dev0a+b6708d58.jar
dsl-theory-jvm-0.17.3-dev08+7cca0c42.jar
dsl-theory-jvm-0.17.3.jar
dsl-theory-jvm-0.17.2-dev03+43981b51.jar
dsl-theory-jvm-0.17.2.jar
dsl-theory-jvm-0.17.1-dev1o+35e72985.jar
dsl-theory-jvm-0.17.1-dev18+089dd410.jar
dsl-theory-jvm-0.17.1-dev0z+70805b63.jar
dsl-theory-jvm-0.17.1-dev0w+54dd0dd0.jar
dsl-theory-jvm-0.17.1-dev0v+25724c0c.jar
dsl-theory-jvm-0.17.1-dev03+67bb5e23.jar
dsl-theory-jvm-0.17.1.jar
dsl-theory-jvm-0.17.0.jar
0.16.x
dsl-theory-jvm-0.16.1-dev4z+7e0f0041.jar
dsl-theory-jvm-0.16.1-dev4u+b2f05e44.jar
dsl-theory-jvm-0.16.1-dev4o+a2fea905.jar
dsl-theory-jvm-0.16.1.jar
dsl-theory-jvm-0.16.0.jar
0.15.x
dsl-theory-jvm-0.15.2.jar
dsl-theory-jvm-0.15.0.jar
0.14.x
dsl-theory-jvm-0.14.11.jar
0.13.x
dsl-theory-jvm-0.13.0.jar
0.12.x
dsl-theory-jvm-0.12.1.jar
dsl-theory-jvm-0.12.0.jar
0.11.x
dsl-theory-jvm-0.11.5.jar
dsl-theory-jvm-0.11.4.jar
dsl-theory-jvm-0.11.3.jar
dsl-theory-jvm-0.11.2.jar
dsl-theory-jvm-0.11.1.jar
dsl-theory-jvm-0.11.0.jar
0.10.x
dsl-theory-jvm-0.10.2.jar

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window dsl-theory-jvm-0.31.13.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

it.unibo.tuprolog.dsl.theory

├─ it.unibo.tuprolog.dsl.theory.DSL.class - [JAR]

├─ it.unibo.tuprolog.dsl.theory.LogicProgrammingScopeWithTheories.class - [JAR]

├─ it.unibo.tuprolog.dsl.theory.LogicProgrammingScopeWithTheoriesImpl.class - [JAR]

Advertisement

Dependencies from Group

core-metadata
icon @it.unibo.tuprolog
May 18, 2021
9 usages
93 stars
core-jvm
icon @it.unibo.tuprolog
Aug 25, 2023
9 usages
93 stars
core-js
icon @it.unibo.tuprolog
Aug 25, 2023
9 usages
93 stars
core
icon @it.unibo.tuprolog
Aug 25, 2023
9 usages
93 stars
solve-classic-jvm
icon @it.unibo.tuprolog
Aug 25, 2023
8 usages
93 stars
More Dependencies ❯

Discover Dependencies

com.io7m.waxmill.serializer.api
icon @com.io7m.waxmill
Aug 01, 2020
0 stars
avro-registry-adapter-default
icon @io.holixon.avro
Mar 19, 2022
7 usages
4 stars
util
icon @dev.keva
Jun 02, 2022
3 usages
99 stars
cxf-services-xkms-features
icon @org.apache.cxf.services.xkms
Jun 06, 2023
4 usages
ant-apache-resolver
icon @org.apache.ant
Aug 16, 2023
6 usages
cxf-xjc-dv
icon @org.apache.cxf.xjcplugins
May 27, 2022
22 usages
18 stars
ontop-optimization
icon @it.unibz.inf.ontop
Aug 15, 2023
563 stars
openflowplugin-impl
icon @org.opendaylight.openflowplugin
Jun 20, 2023
9 usages
tsl2.nano.generator
icon @net.sf.tsl2nano
Jun 04, 2023
4 usages
repository
icon @io.fixprotocol.orchestra
Sep 30, 2021
13 usages
69 stars
More Dependencies ❯