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

    Download core-jvm JAR 0.31.13 with all dependencies


    Knowlege representation via logic terms and clauses

    Files of the artifact core-jvm version 0.31.13 from the group it.unibo.tuprolog.

    Test

    Artifact core-jvm
    Group it.unibo.tuprolog
    Version 0.31.13
    Last update 25. August 2023
    Tags: terms knowlege clauses logic representation
    Organization not specified
    URL https://github.com/tuProlog/2p-kt
    License Apache-2.0
    Dependencies amount 4
    Dependencies kotlin-stdlib-jdk8, kotlin-stdlib-common, kt-math-jvm, utils-jvm,
    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 core-jvm Show documentation

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

    0 downloads

    Source code of core-jvm version 0.31.13

    META-INF
    META-INF.META-INF.MANIFEST.MF
    commonMain.it.unibo.tuprolog
    commonMain.it.unibo.tuprolog.commonMain.it.unibo.tuprolog.Info.kt
    commonMain.it.unibo.tuprolog.commonMain.it.unibo.tuprolog.Introspection.kt
    commonMain.it.unibo.tuprolog.commonMain.it.unibo.tuprolog.Os.kt
    commonMain.it.unibo.tuprolog.commonMain.it.unibo.tuprolog.Platform.kt
    commonMain.it.unibo.tuprolog.core
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.Applicable.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.Atom.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.Block.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.BlockIterator.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.Clause.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.ClauseExtensions.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.ComparisonUtils.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.Cons.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.Constant.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.Conversions.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.Directive.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.Empty.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.EmptyBlock.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.EmptyList.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.Fact.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.Formatter.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.FormatterExtensions.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.Indicator.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.Integer.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.List.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.ListIterator.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.Numeric.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.Real.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.Recursive.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.Rule.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.Scope.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.Struct.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.Substitution.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.SubstitutionImpl.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.Term.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.TermComparator.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.TermConvertible.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.TermFormatter.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.TermVisitor.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.Terms.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.Truth.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.Tuple.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.TupleIterator.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.Var.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.Variabled.kt
    commonMain.it.unibo.tuprolog.core.commonMain.it.unibo.tuprolog.core.VariablesProvider.kt
    commonMain.it.unibo.tuprolog.core.exception
    commonMain.it.unibo.tuprolog.core.exception.commonMain.it.unibo.tuprolog.core.exception.SubstitutionApplicationException.kt
    commonMain.it.unibo.tuprolog.core.exception.commonMain.it.unibo.tuprolog.core.exception.SubstitutionException.kt
    commonMain.it.unibo.tuprolog.core.exception.commonMain.it.unibo.tuprolog.core.exception.TuPrologException.kt
    commonMain.it.unibo.tuprolog.core.impl
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.AbstractCons.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.AbstractStruct.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.AbstractTermFormatter.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.AbstractTermFormatterForVariables.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.AtomImpl.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.BlockImpl.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.BlockUnfolder.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.ClauseImpl.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.ConsImpl.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.DirectiveImpl.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.EmptyBlockImpl.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.EmptyListImpl.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.FactImpl.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.IndicatorImpl.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.IntegerImpl.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.LazyConsWithExplicitLast.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.LazyConsWithImplicitLast.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.ListUnfolder.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.NumericImpl.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.RealImpl.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.RecursiveImpl.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.RuleImpl.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.ScopeImpl.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.SimpleTermFormatter.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.StructImpl.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.TermFormatterWithAnonymousVariables.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.TermFormatterWithPrettyExpressions.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.TermFormatterWithPrettyVariables.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.TermImpl.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.TermImplementationHelper.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.TruthImpl.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.TupleImpl.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.TupleUnfolder.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.VarImpl.kt
    commonMain.it.unibo.tuprolog.core.impl.commonMain.it.unibo.tuprolog.core.impl.VariablesProviderImpl.kt
    commonMain.it.unibo.tuprolog.core.operators
    commonMain.it.unibo.tuprolog.core.operators.commonMain.it.unibo.tuprolog.core.operators.Operator.kt
    commonMain.it.unibo.tuprolog.core.operators.commonMain.it.unibo.tuprolog.core.operators.OperatorSet.kt
    commonMain.it.unibo.tuprolog.core.operators.commonMain.it.unibo.tuprolog.core.operators.OperatorsIndex.kt
    commonMain.it.unibo.tuprolog.core.operators.commonMain.it.unibo.tuprolog.core.operators.Specifier.kt
    commonMain.it.unibo.tuprolog.core.visitors
    commonMain.it.unibo.tuprolog.core.visitors.commonMain.it.unibo.tuprolog.core.visitors.AbstractTermVisitor.kt
    commonMain.it.unibo.tuprolog.core.visitors.commonMain.it.unibo.tuprolog.core.visitors.DefaultTermVisitor.kt
    commonMain.it.unibo.tuprolog.core.visitors.commonMain.it.unibo.tuprolog.core.visitors.ExhaustiveTermVisitor.kt
    jvmMain.it.unibo.tuprolog
    jvmMain.it.unibo.tuprolog.jvmMain.it.unibo.tuprolog.Introspection.kt
    jvmMain.it.unibo.tuprolog.core
    jvmMain.it.unibo.tuprolog.core.jvmMain.it.unibo.tuprolog.core.ComparisonUtils.kt
    jvmMain.it.unibo.tuprolog.core.impl
    jvmMain.it.unibo.tuprolog.core.impl.jvmMain.it.unibo.tuprolog.core.impl.TermImplementationHelperJvm.kt




    © 2015 - 2024 Weber Informatics LLC | Privacy Policy