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

Download theory JAR 1.0.4 with all dependencies


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

Files of the artifact theory version 1.0.4 from the group it.unibo.tuprolog.

Test

Artifact theory
Group it.unibo.tuprolog
Version 1.0.4
Last update 26. May 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 0
Dependencies No dependencies
There are maybe transitive dependencies!
The newest version!
Show more of this group  Show more artifacts with this name
Show all versions of theory Show documentation

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

0 downloads

Source code of theory version 1.0.4

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.IndexedTheoryFactory.kt
commonMain.it.unibo.tuprolog.theory.commonMain.it.unibo.tuprolog.theory.ListedTheoryFactory.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.TheoryFactory.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




© 2015 - 2025 Weber Informatics LLC | Privacy Policy