All Downloads are FREE. Search and download functionalities are using the official Maven repository.
Search JAR files by class name

Download theory-jvm JAR 0.32.0 with all dependencies


In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by logic clauses

Files of the artifact theory-jvm version 0.32.0 from the group it.unibo.tuprolog.

Artifact theory-jvm
Group it.unibo.tuprolog
Version 0.32.0
Last update 03. January 2024
Tags: unordered bases ordered memory indexing composed clauses storage logic facilities knowledge
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 5
Dependencies kotlin-stdlib-jdk8, kotlin-stdlib-common, core-jvm, unify-jvm, kotlin-stdlib,
There are maybe transitive dependencies!
There is a newer version: 1.0.4
Show newest version
Show more of this group  Show more artifacts with this name
Show all versions of theory-jvm Show documentation

Please rate this JAR file. Is it a good library?

0 downloads

Source code of theory-jvm version 0.32.0

META-INF
META-INF.META-INF.MANIFEST.MF
commonMain.it.unibo.tuprolog.collections
commonMain.it.unibo.tuprolog.collections.commonMain.it.unibo.tuprolog.collections.AbstractClauseCollection.kt
commonMain.it.unibo.tuprolog.collections.commonMain.it.unibo.tuprolog.collections.AbstractMutableReteClauseCollection.kt
commonMain.it.unibo.tuprolog.collections.commonMain.it.unibo.tuprolog.collections.AbstractReteClauseCollection.kt
commonMain.it.unibo.tuprolog.collections.commonMain.it.unibo.tuprolog.collections.ClauseCollection.kt
commonMain.it.unibo.tuprolog.collections.commonMain.it.unibo.tuprolog.collections.ClauseMultiSet.kt
commonMain.it.unibo.tuprolog.collections.commonMain.it.unibo.tuprolog.collections.ClauseQueue.kt
commonMain.it.unibo.tuprolog.collections.commonMain.it.unibo.tuprolog.collections.MutableClauseCollection.kt
commonMain.it.unibo.tuprolog.collections.commonMain.it.unibo.tuprolog.collections.MutableClauseMultiSet.kt
commonMain.it.unibo.tuprolog.collections.commonMain.it.unibo.tuprolog.collections.MutableClauseQueue.kt
commonMain.it.unibo.tuprolog.collections.commonMain.it.unibo.tuprolog.collections.RetrieveResult.kt
commonMain.it.unibo.tuprolog.collections.impl
commonMain.it.unibo.tuprolog.collections.impl.commonMain.it.unibo.tuprolog.collections.impl.MutableReteClauseMultiSet.kt
commonMain.it.unibo.tuprolog.collections.impl.commonMain.it.unibo.tuprolog.collections.impl.MutableReteClauseQueue.kt
commonMain.it.unibo.tuprolog.collections.impl.commonMain.it.unibo.tuprolog.collections.impl.ReteClauseMultiSet.kt
commonMain.it.unibo.tuprolog.collections.impl.commonMain.it.unibo.tuprolog.collections.impl.ReteClauseQueue.kt
commonMain.it.unibo.tuprolog.collections.rete
commonMain.it.unibo.tuprolog.collections.rete.commonMain.it.unibo.tuprolog.collections.rete.PlatformSpecificUtils.kt
commonMain.it.unibo.tuprolog.collections.rete.custom
commonMain.it.unibo.tuprolog.collections.rete.custom.commonMain.it.unibo.tuprolog.collections.rete.custom.AbstractReteNode.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.commonMain.it.unibo.tuprolog.collections.rete.custom.Cacheable.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.commonMain.it.unibo.tuprolog.collections.rete.custom.IndexingLeaf.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.commonMain.it.unibo.tuprolog.collections.rete.custom.IndexingNode.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.commonMain.it.unibo.tuprolog.collections.rete.custom.ReteNode.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.commonMain.it.unibo.tuprolog.collections.rete.custom.ReteTree.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.commonMain.it.unibo.tuprolog.collections.rete.custom.Retractable.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.commonMain.it.unibo.tuprolog.collections.rete.custom.TopLevelReteNode.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.commonMain.it.unibo.tuprolog.collections.rete.custom.Utils.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.clause
commonMain.it.unibo.tuprolog.collections.rete.custom.clause.commonMain.it.unibo.tuprolog.collections.rete.custom.clause.IndexedClause.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.clause.commonMain.it.unibo.tuprolog.collections.rete.custom.clause.SituatedIndexedClause.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.leaf
commonMain.it.unibo.tuprolog.collections.rete.custom.leaf.commonMain.it.unibo.tuprolog.collections.rete.custom.leaf.AbstractIndexingLeaf.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.leaf.commonMain.it.unibo.tuprolog.collections.rete.custom.leaf.AtomIndex.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.leaf.commonMain.it.unibo.tuprolog.collections.rete.custom.leaf.CompoundIndex.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.leaf.commonMain.it.unibo.tuprolog.collections.rete.custom.leaf.DirectiveIndex.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.leaf.commonMain.it.unibo.tuprolog.collections.rete.custom.leaf.NumericIndex.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.leaf.commonMain.it.unibo.tuprolog.collections.rete.custom.leaf.VariableIndex.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.nodes
commonMain.it.unibo.tuprolog.collections.rete.custom.nodes.commonMain.it.unibo.tuprolog.collections.rete.custom.nodes.ArityIndexing.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.nodes.commonMain.it.unibo.tuprolog.collections.rete.custom.nodes.ArityNode.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.nodes.commonMain.it.unibo.tuprolog.collections.rete.custom.nodes.ArityRete.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.nodes.commonMain.it.unibo.tuprolog.collections.rete.custom.nodes.FamilyArityIndexingNode.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.nodes.commonMain.it.unibo.tuprolog.collections.rete.custom.nodes.FamilyArityReteNode.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.nodes.commonMain.it.unibo.tuprolog.collections.rete.custom.nodes.FunctorIndexing.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.nodes.commonMain.it.unibo.tuprolog.collections.rete.custom.nodes.FunctorIndexingNode.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.nodes.commonMain.it.unibo.tuprolog.collections.rete.custom.nodes.FunctorNode.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.nodes.commonMain.it.unibo.tuprolog.collections.rete.custom.nodes.FunctorRete.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.nodes.commonMain.it.unibo.tuprolog.collections.rete.custom.nodes.RootNode.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.nodes.commonMain.it.unibo.tuprolog.collections.rete.custom.nodes.RuleNode.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.nodes.commonMain.it.unibo.tuprolog.collections.rete.custom.nodes.TopLevelFunctorReteNode.kt
commonMain.it.unibo.tuprolog.collections.rete.custom.nodes.commonMain.it.unibo.tuprolog.collections.rete.custom.nodes.ZeroArityReteNode.kt
commonMain.it.unibo.tuprolog.collections.rete.generic
commonMain.it.unibo.tuprolog.collections.rete.generic.commonMain.it.unibo.tuprolog.collections.rete.generic.AbstractIntermediateReteNode.kt
commonMain.it.unibo.tuprolog.collections.rete.generic.commonMain.it.unibo.tuprolog.collections.rete.generic.AbstractLeafReteNode.kt
commonMain.it.unibo.tuprolog.collections.rete.generic.commonMain.it.unibo.tuprolog.collections.rete.generic.AbstractReteNode.kt
commonMain.it.unibo.tuprolog.collections.rete.generic.commonMain.it.unibo.tuprolog.collections.rete.generic.ReteNode.kt
commonMain.it.unibo.tuprolog.collections.rete.generic.set
commonMain.it.unibo.tuprolog.collections.rete.generic.set.commonMain.it.unibo.tuprolog.collections.rete.generic.set.ArgNode.kt
commonMain.it.unibo.tuprolog.collections.rete.generic.set.commonMain.it.unibo.tuprolog.collections.rete.generic.set.ArityNode.kt
commonMain.it.unibo.tuprolog.collections.rete.generic.set.commonMain.it.unibo.tuprolog.collections.rete.generic.set.DirectiveNode.kt
commonMain.it.unibo.tuprolog.collections.rete.generic.set.commonMain.it.unibo.tuprolog.collections.rete.generic.set.FunctorNode.kt
commonMain.it.unibo.tuprolog.collections.rete.generic.set.commonMain.it.unibo.tuprolog.collections.rete.generic.set.NoArgsNode.kt
commonMain.it.unibo.tuprolog.collections.rete.generic.set.commonMain.it.unibo.tuprolog.collections.rete.generic.set.RootNode.kt
commonMain.it.unibo.tuprolog.collections.rete.generic.set.commonMain.it.unibo.tuprolog.collections.rete.generic.set.RuleNode.kt
commonMain.it.unibo.tuprolog.theory
commonMain.it.unibo.tuprolog.theory.commonMain.it.unibo.tuprolog.theory.AbstractTheory.kt
commonMain.it.unibo.tuprolog.theory.commonMain.it.unibo.tuprolog.theory.MutableTheory.kt
commonMain.it.unibo.tuprolog.theory.commonMain.it.unibo.tuprolog.theory.RetractResult.kt
commonMain.it.unibo.tuprolog.theory.commonMain.it.unibo.tuprolog.theory.Theory.kt
commonMain.it.unibo.tuprolog.theory.commonMain.it.unibo.tuprolog.theory.TheoryUtils.kt
commonMain.it.unibo.tuprolog.theory.impl
commonMain.it.unibo.tuprolog.theory.impl.commonMain.it.unibo.tuprolog.theory.impl.AbstractIndexedTheory.kt
commonMain.it.unibo.tuprolog.theory.impl.commonMain.it.unibo.tuprolog.theory.impl.AbstractListedTheory.kt
commonMain.it.unibo.tuprolog.theory.impl.commonMain.it.unibo.tuprolog.theory.impl.IndexedTheory.kt
commonMain.it.unibo.tuprolog.theory.impl.commonMain.it.unibo.tuprolog.theory.impl.ListedTheory.kt
commonMain.it.unibo.tuprolog.theory.impl.commonMain.it.unibo.tuprolog.theory.impl.MutableIndexedTheory.kt
commonMain.it.unibo.tuprolog.theory.impl.commonMain.it.unibo.tuprolog.theory.impl.MutableListedTheory.kt
jvmMain.it.unibo.tuprolog.collections.rete
jvmMain.it.unibo.tuprolog.collections.rete.jvmMain.it.unibo.tuprolog.collections.rete.PlatformSpecificUtils.kt




© 2015 - 2024 Weber Informatics LLC | Privacy Policy