jar

it.unibo.tuprolog : theory-jvm

Maven & Gradle

Aug 25, 2023
6 usages
93 stars

2P-Kt, Theory Module · In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by logic clauses

Table Of Contents

Latest Version

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

All Versions

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

Version Vulnerabilities Size Updated
0.31.x
0.30.x
0.20.x
0.19.x
0.18.x
0.17.x
0.16.x
0.15.x
0.14.x
0.13.x
0.12.x
0.11.x
0.10.x

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 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.collections.impl

├─ it.unibo.tuprolog.collections.impl.MutableReteClauseMultiSet.class - [JAR]

├─ it.unibo.tuprolog.collections.impl.MutableReteClauseQueue.class - [JAR]

├─ it.unibo.tuprolog.collections.impl.ReteClauseMultiSet.class - [JAR]

├─ it.unibo.tuprolog.collections.impl.ReteClauseQueue.class - [JAR]

it.unibo.tuprolog.collections.rete

├─ it.unibo.tuprolog.collections.rete.PlatformSpecificUtilsKt.class - [JAR]

it.unibo.tuprolog.collections

├─ it.unibo.tuprolog.collections.AbstractClauseCollection.class - [JAR]

├─ it.unibo.tuprolog.collections.AbstractMutableReteClauseCollection.class - [JAR]

├─ it.unibo.tuprolog.collections.AbstractReteClauseCollection.class - [JAR]

├─ it.unibo.tuprolog.collections.ClauseCollection.class - [JAR]

├─ it.unibo.tuprolog.collections.ClauseMultiSet.class - [JAR]

├─ it.unibo.tuprolog.collections.ClauseQueue.class - [JAR]

├─ it.unibo.tuprolog.collections.MutableClauseCollection.class - [JAR]

├─ it.unibo.tuprolog.collections.MutableClauseMultiSet.class - [JAR]

├─ it.unibo.tuprolog.collections.MutableClauseQueue.class - [JAR]

├─ it.unibo.tuprolog.collections.RetrieveResult.class - [JAR]

it.unibo.tuprolog.theory.impl

├─ it.unibo.tuprolog.theory.impl.AbstractIndexedTheory.class - [JAR]

├─ it.unibo.tuprolog.theory.impl.AbstractListedTheory.class - [JAR]

├─ it.unibo.tuprolog.theory.impl.IndexedTheory.class - [JAR]

├─ it.unibo.tuprolog.theory.impl.ListedTheory.class - [JAR]

├─ it.unibo.tuprolog.theory.impl.MutableIndexedTheory.class - [JAR]

├─ it.unibo.tuprolog.theory.impl.MutableListedTheory.class - [JAR]

it.unibo.tuprolog.collections.rete.custom.nodes

├─ it.unibo.tuprolog.collections.rete.custom.nodes.ArityIndexing.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.custom.nodes.ArityNode.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.custom.nodes.ArityRete.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.custom.nodes.FamilyArityIndexingNode.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.custom.nodes.FamilyArityReteNode.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.custom.nodes.FunctorIndexing.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.custom.nodes.FunctorIndexingNode.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.custom.nodes.FunctorNode.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.custom.nodes.FunctorRete.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.custom.nodes.RootNode.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.custom.nodes.RuleNode.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.custom.nodes.TopLevelFunctorReteNode.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.custom.nodes.ZeroArityReteNode.class - [JAR]

it.unibo.tuprolog.collections.rete.custom

├─ it.unibo.tuprolog.collections.rete.custom.AbstractReteNode.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.custom.Cacheable.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.custom.IndexingLeaf.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.custom.IndexingNode.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.custom.ReteNode.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.custom.ReteTree.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.custom.Retractable.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.custom.TopLevelReteNode.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.custom.Utils.class - [JAR]

it.unibo.tuprolog.collections.rete.custom.clause

├─ it.unibo.tuprolog.collections.rete.custom.clause.IndexedClause.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.custom.clause.SituatedIndexedClause.class - [JAR]

it.unibo.tuprolog.collections.rete.custom.leaf

├─ it.unibo.tuprolog.collections.rete.custom.leaf.AbstractIndexingLeaf.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.custom.leaf.AtomIndex.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.custom.leaf.CompoundIndex.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.custom.leaf.DirectiveIndex.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.custom.leaf.NumericIndex.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.custom.leaf.VariableIndex.class - [JAR]

it.unibo.tuprolog.collections.rete.generic.set

├─ it.unibo.tuprolog.collections.rete.generic.set.ArgNode.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.generic.set.ArityNode.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.generic.set.DirectiveNode.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.generic.set.FunctorNode.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.generic.set.NoArgsNode.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.generic.set.RootNode.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.generic.set.RuleNode.class - [JAR]

it.unibo.tuprolog.collections.rete.generic

├─ it.unibo.tuprolog.collections.rete.generic.AbstractIntermediateReteNode.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.generic.AbstractLeafReteNode.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.generic.AbstractReteNode.class - [JAR]

├─ it.unibo.tuprolog.collections.rete.generic.ReteNode.class - [JAR]

it.unibo.tuprolog.theory

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

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

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

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

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

Advertisement

Dependencies from Group

May 18, 2021
9 usages
93 stars
Aug 25, 2023
9 usages
93 stars
Aug 25, 2023
9 usages
93 stars
Aug 25, 2023
9 usages
93 stars
Aug 25, 2023
8 usages
93 stars

Discover Dependencies

Jul 20, 2023
23 usages
302 stars
rsi
Aug 07, 2023
25 usages
Aug 23, 2023
4 usages
75 stars
Jan 18, 2023
10 usages
5 stars
Dec 01, 2020
4 usages
0 stars
Mar 01, 2023
6 usages
2.3k stars
Aug 10, 2023
43 usages
27 stars
Apr 26, 2021
3 usages
349 stars