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

    Download theory JAR 1.0.1 with all dependencies


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

    Artifact theory
    Group it.unibo.tuprolog
    Version 1.0.1


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

    0 downloads

    Source code of theory version 1.0.1

    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