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

Download solve-jvm JAR 0.32.1 with all dependencies


Resolution-agnostic API for logic solvers

Files of the artifact solve-jvm version 0.32.1 from the group it.unibo.tuprolog.

Artifact solve-jvm
Group it.unibo.tuprolog
Version 0.32.1
Last update 09. February 2024
Tags: agnostic logic resolution solvers
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 7
Dependencies kotlin-stdlib-jdk8, kotlin-stdlib-common, kotlin-reflect, core-jvm, unify-jvm, theory-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 solve-jvm Show documentation

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

0 downloads

Source code of solve-jvm version 0.32.1

META-INF
META-INF.META-INF.MANIFEST.MF
commonMain.it.unibo.tuprolog.solve
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.AbstractWrapper.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.Durable.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.ExecutionContext.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.ExecutionContextAware.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.Extensions.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.MutableSolver.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.Signature.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.Solution.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.SolutionFormatter.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.SolutionImpl.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.SolveOptions.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.Solver.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.SolverBuilder.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.SolverExtensions.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.SolverFactory.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.Time.kt
commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.Utils.kt
commonMain.it.unibo.tuprolog.solve.channel
commonMain.it.unibo.tuprolog.solve.channel.commonMain.it.unibo.tuprolog.solve.channel.Channel.kt
commonMain.it.unibo.tuprolog.solve.channel.commonMain.it.unibo.tuprolog.solve.channel.ChannelStore.kt
commonMain.it.unibo.tuprolog.solve.channel.commonMain.it.unibo.tuprolog.solve.channel.Channels.kt
commonMain.it.unibo.tuprolog.solve.channel.commonMain.it.unibo.tuprolog.solve.channel.InputChannel.kt
commonMain.it.unibo.tuprolog.solve.channel.commonMain.it.unibo.tuprolog.solve.channel.InputStore.kt
commonMain.it.unibo.tuprolog.solve.channel.commonMain.it.unibo.tuprolog.solve.channel.Listener.kt
commonMain.it.unibo.tuprolog.solve.channel.commonMain.it.unibo.tuprolog.solve.channel.OutputChannel.kt
commonMain.it.unibo.tuprolog.solve.channel.commonMain.it.unibo.tuprolog.solve.channel.OutputStore.kt
commonMain.it.unibo.tuprolog.solve.channel.impl
commonMain.it.unibo.tuprolog.solve.channel.impl.commonMain.it.unibo.tuprolog.solve.channel.impl.AbstractChannel.kt
commonMain.it.unibo.tuprolog.solve.channel.impl.commonMain.it.unibo.tuprolog.solve.channel.impl.AbstractChannelStore.kt
commonMain.it.unibo.tuprolog.solve.channel.impl.commonMain.it.unibo.tuprolog.solve.channel.impl.AbstractInputChannel.kt
commonMain.it.unibo.tuprolog.solve.channel.impl.commonMain.it.unibo.tuprolog.solve.channel.impl.AbstractOutputChannel.kt
commonMain.it.unibo.tuprolog.solve.channel.impl.commonMain.it.unibo.tuprolog.solve.channel.impl.ChannelStoreUtils.kt
commonMain.it.unibo.tuprolog.solve.channel.impl.commonMain.it.unibo.tuprolog.solve.channel.impl.InputChannelFromFunction.kt
commonMain.it.unibo.tuprolog.solve.channel.impl.commonMain.it.unibo.tuprolog.solve.channel.impl.InputChannelFromString.kt
commonMain.it.unibo.tuprolog.solve.channel.impl.commonMain.it.unibo.tuprolog.solve.channel.impl.InputStoreImpl.kt
commonMain.it.unibo.tuprolog.solve.channel.impl.commonMain.it.unibo.tuprolog.solve.channel.impl.OutputChannelFromFunction.kt
commonMain.it.unibo.tuprolog.solve.channel.impl.commonMain.it.unibo.tuprolog.solve.channel.impl.OutputStoreImpl.kt
commonMain.it.unibo.tuprolog.solve.data
commonMain.it.unibo.tuprolog.solve.data.commonMain.it.unibo.tuprolog.solve.data.CustomData.kt
commonMain.it.unibo.tuprolog.solve.data.commonMain.it.unibo.tuprolog.solve.data.CustomDataStore.kt
commonMain.it.unibo.tuprolog.solve.directives
commonMain.it.unibo.tuprolog.solve.directives.commonMain.it.unibo.tuprolog.solve.directives.ClauseExtensions.kt
commonMain.it.unibo.tuprolog.solve.directives.commonMain.it.unibo.tuprolog.solve.directives.ClauseListener.kt
commonMain.it.unibo.tuprolog.solve.directives.commonMain.it.unibo.tuprolog.solve.directives.ClausePartition.kt
commonMain.it.unibo.tuprolog.solve.directives.commonMain.it.unibo.tuprolog.solve.directives.ClausePartitionExtensions.kt
commonMain.it.unibo.tuprolog.solve.directives.commonMain.it.unibo.tuprolog.solve.directives.ClausePartitionImpl.kt
commonMain.it.unibo.tuprolog.solve.directives.commonMain.it.unibo.tuprolog.solve.directives.ClausePartitioner.kt
commonMain.it.unibo.tuprolog.solve.directives.commonMain.it.unibo.tuprolog.solve.directives.DirectiveListener.kt
commonMain.it.unibo.tuprolog.solve.directives.commonMain.it.unibo.tuprolog.solve.directives.DirectiveSelector.kt
commonMain.it.unibo.tuprolog.solve.exception
commonMain.it.unibo.tuprolog.solve.exception.commonMain.it.unibo.tuprolog.solve.exception.HaltException.kt
commonMain.it.unibo.tuprolog.solve.exception.commonMain.it.unibo.tuprolog.solve.exception.LogicError.kt
commonMain.it.unibo.tuprolog.solve.exception.commonMain.it.unibo.tuprolog.solve.exception.ResolutionException.kt
commonMain.it.unibo.tuprolog.solve.exception.commonMain.it.unibo.tuprolog.solve.exception.TimeOutException.kt
commonMain.it.unibo.tuprolog.solve.exception.commonMain.it.unibo.tuprolog.solve.exception.Warning.kt
commonMain.it.unibo.tuprolog.solve.exception.error
commonMain.it.unibo.tuprolog.solve.exception.error.commonMain.it.unibo.tuprolog.solve.exception.error.DomainError.kt
commonMain.it.unibo.tuprolog.solve.exception.error.commonMain.it.unibo.tuprolog.solve.exception.error.ErrorUtils.kt
commonMain.it.unibo.tuprolog.solve.exception.error.commonMain.it.unibo.tuprolog.solve.exception.error.EvaluationError.kt
commonMain.it.unibo.tuprolog.solve.exception.error.commonMain.it.unibo.tuprolog.solve.exception.error.ExistenceError.kt
commonMain.it.unibo.tuprolog.solve.exception.error.commonMain.it.unibo.tuprolog.solve.exception.error.InstantiationError.kt
commonMain.it.unibo.tuprolog.solve.exception.error.commonMain.it.unibo.tuprolog.solve.exception.error.MessageError.kt
commonMain.it.unibo.tuprolog.solve.exception.error.commonMain.it.unibo.tuprolog.solve.exception.error.PermissionError.kt
commonMain.it.unibo.tuprolog.solve.exception.error.commonMain.it.unibo.tuprolog.solve.exception.error.RepresentationError.kt
commonMain.it.unibo.tuprolog.solve.exception.error.commonMain.it.unibo.tuprolog.solve.exception.error.SyntaxError.kt
commonMain.it.unibo.tuprolog.solve.exception.error.commonMain.it.unibo.tuprolog.solve.exception.error.SystemError.kt
commonMain.it.unibo.tuprolog.solve.exception.error.commonMain.it.unibo.tuprolog.solve.exception.error.TypeError.kt
commonMain.it.unibo.tuprolog.solve.exception.warning
commonMain.it.unibo.tuprolog.solve.exception.warning.commonMain.it.unibo.tuprolog.solve.exception.warning.InitializationIssue.kt
commonMain.it.unibo.tuprolog.solve.exception.warning.commonMain.it.unibo.tuprolog.solve.exception.warning.MissingPredicate.kt
commonMain.it.unibo.tuprolog.solve.flags
commonMain.it.unibo.tuprolog.solve.flags.commonMain.it.unibo.tuprolog.solve.flags.DoubleQuotes.kt
commonMain.it.unibo.tuprolog.solve.flags.commonMain.it.unibo.tuprolog.solve.flags.FlagStore.kt
commonMain.it.unibo.tuprolog.solve.flags.commonMain.it.unibo.tuprolog.solve.flags.FlagsUtils.kt
commonMain.it.unibo.tuprolog.solve.flags.commonMain.it.unibo.tuprolog.solve.flags.LastCallOptimization.kt
commonMain.it.unibo.tuprolog.solve.flags.commonMain.it.unibo.tuprolog.solve.flags.MaxArity.kt
commonMain.it.unibo.tuprolog.solve.flags.commonMain.it.unibo.tuprolog.solve.flags.NotableFlag.kt
commonMain.it.unibo.tuprolog.solve.flags.commonMain.it.unibo.tuprolog.solve.flags.TrackVariables.kt
commonMain.it.unibo.tuprolog.solve.flags.commonMain.it.unibo.tuprolog.solve.flags.Unknown.kt
commonMain.it.unibo.tuprolog.solve.function
commonMain.it.unibo.tuprolog.solve.function.commonMain.it.unibo.tuprolog.solve.function.AbstractEvaluator.kt
commonMain.it.unibo.tuprolog.solve.function.commonMain.it.unibo.tuprolog.solve.function.ArithmeticEvaluator.kt
commonMain.it.unibo.tuprolog.solve.function.commonMain.it.unibo.tuprolog.solve.function.ArithmeticUtils.kt
commonMain.it.unibo.tuprolog.solve.function.commonMain.it.unibo.tuprolog.solve.function.BinaryMathFunction.kt
commonMain.it.unibo.tuprolog.solve.function.commonMain.it.unibo.tuprolog.solve.function.Compute.kt
commonMain.it.unibo.tuprolog.solve.function.commonMain.it.unibo.tuprolog.solve.function.ExpressionEvaluator.kt
commonMain.it.unibo.tuprolog.solve.function.commonMain.it.unibo.tuprolog.solve.function.ExpressionReducer.kt
commonMain.it.unibo.tuprolog.solve.function.commonMain.it.unibo.tuprolog.solve.function.FunctionWrapper.kt
commonMain.it.unibo.tuprolog.solve.function.commonMain.it.unibo.tuprolog.solve.function.IntegersBinaryMathFunction.kt
commonMain.it.unibo.tuprolog.solve.function.commonMain.it.unibo.tuprolog.solve.function.LogicFunction.kt
commonMain.it.unibo.tuprolog.solve.function.commonMain.it.unibo.tuprolog.solve.function.MathFunction.kt
commonMain.it.unibo.tuprolog.solve.function.commonMain.it.unibo.tuprolog.solve.function.NullaryMathFunction.kt
commonMain.it.unibo.tuprolog.solve.function.commonMain.it.unibo.tuprolog.solve.function.UnaryMathFunction.kt
commonMain.it.unibo.tuprolog.solve.impl
commonMain.it.unibo.tuprolog.solve.impl.commonMain.it.unibo.tuprolog.solve.impl.AbstractSolver.kt
commonMain.it.unibo.tuprolog.solve.impl.commonMain.it.unibo.tuprolog.solve.impl.SolutionFormatterImpl.kt
commonMain.it.unibo.tuprolog.solve.impl.commonMain.it.unibo.tuprolog.solve.impl.SolveOptionsImpl.kt
commonMain.it.unibo.tuprolog.solve.impl.commonMain.it.unibo.tuprolog.solve.impl.SolverBuilderImpl.kt
commonMain.it.unibo.tuprolog.solve.library
commonMain.it.unibo.tuprolog.solve.library.commonMain.it.unibo.tuprolog.solve.library.Library.kt
commonMain.it.unibo.tuprolog.solve.library.commonMain.it.unibo.tuprolog.solve.library.LibraryUtils.kt
commonMain.it.unibo.tuprolog.solve.library.commonMain.it.unibo.tuprolog.solve.library.Pluggable.kt
commonMain.it.unibo.tuprolog.solve.library.commonMain.it.unibo.tuprolog.solve.library.Runtime.kt
commonMain.it.unibo.tuprolog.solve.library.exception
commonMain.it.unibo.tuprolog.solve.library.exception.commonMain.it.unibo.tuprolog.solve.library.exception.AlreadyLoadedLibraryException.kt
commonMain.it.unibo.tuprolog.solve.library.exception.commonMain.it.unibo.tuprolog.solve.library.exception.LibraryException.kt
commonMain.it.unibo.tuprolog.solve.library.exception.commonMain.it.unibo.tuprolog.solve.library.exception.NoSuchALibraryException.kt
commonMain.it.unibo.tuprolog.solve.library.impl
commonMain.it.unibo.tuprolog.solve.library.impl.commonMain.it.unibo.tuprolog.solve.library.impl.AbstractLibrary.kt
commonMain.it.unibo.tuprolog.solve.library.impl.commonMain.it.unibo.tuprolog.solve.library.impl.AbstractPluggable.kt
commonMain.it.unibo.tuprolog.solve.library.impl.commonMain.it.unibo.tuprolog.solve.library.impl.ExtensionLibrary.kt
commonMain.it.unibo.tuprolog.solve.library.impl.commonMain.it.unibo.tuprolog.solve.library.impl.LibraryImpl.kt
commonMain.it.unibo.tuprolog.solve.library.impl.commonMain.it.unibo.tuprolog.solve.library.impl.RuntimeImpl.kt
commonMain.it.unibo.tuprolog.solve.primitive
commonMain.it.unibo.tuprolog.solve.primitive.commonMain.it.unibo.tuprolog.solve.primitive.ArithmeticRelation.kt
commonMain.it.unibo.tuprolog.solve.primitive.commonMain.it.unibo.tuprolog.solve.primitive.BinaryRelation.kt
commonMain.it.unibo.tuprolog.solve.primitive.commonMain.it.unibo.tuprolog.solve.primitive.PredicateWithoutArguments.kt
commonMain.it.unibo.tuprolog.solve.primitive.commonMain.it.unibo.tuprolog.solve.primitive.Primitive.kt
commonMain.it.unibo.tuprolog.solve.primitive.commonMain.it.unibo.tuprolog.solve.primitive.PrimitiveWrapper.kt
commonMain.it.unibo.tuprolog.solve.primitive.commonMain.it.unibo.tuprolog.solve.primitive.QuaternaryRelation.kt
commonMain.it.unibo.tuprolog.solve.primitive.commonMain.it.unibo.tuprolog.solve.primitive.QuinaryRelation.kt
commonMain.it.unibo.tuprolog.solve.primitive.commonMain.it.unibo.tuprolog.solve.primitive.Solve.kt
commonMain.it.unibo.tuprolog.solve.primitive.commonMain.it.unibo.tuprolog.solve.primitive.TernaryRelation.kt
commonMain.it.unibo.tuprolog.solve.primitive.commonMain.it.unibo.tuprolog.solve.primitive.TypeEnsurer.kt
commonMain.it.unibo.tuprolog.solve.primitive.commonMain.it.unibo.tuprolog.solve.primitive.TypeTester.kt
commonMain.it.unibo.tuprolog.solve.primitive.commonMain.it.unibo.tuprolog.solve.primitive.UnaryPredicate.kt
commonMain.it.unibo.tuprolog.solve.primitive.commonMain.it.unibo.tuprolog.solve.primitive.ZeroaryPredicate.kt
commonMain.it.unibo.tuprolog.solve.rule
commonMain.it.unibo.tuprolog.solve.rule.commonMain.it.unibo.tuprolog.solve.rule.RuleWrapper.kt
commonMain.it.unibo.tuprolog.solve.sideffects
commonMain.it.unibo.tuprolog.solve.sideffects.commonMain.it.unibo.tuprolog.solve.sideffects.SideEffect.kt
commonMain.it.unibo.tuprolog.solve.sideffects.commonMain.it.unibo.tuprolog.solve.sideffects.SideEffectFactory.kt
commonMain.it.unibo.tuprolog.solve.sideffects.commonMain.it.unibo.tuprolog.solve.sideffects.SideEffectManager.kt
commonMain.it.unibo.tuprolog.solve.sideffects.commonMain.it.unibo.tuprolog.solve.sideffects.SideEffectsBuilder.kt
commonMain.it.unibo.tuprolog.solve.sideffects.impl
commonMain.it.unibo.tuprolog.solve.sideffects.impl.commonMain.it.unibo.tuprolog.solve.sideffects.impl.DefaultSideEffectFactory.kt
commonMain.it.unibo.tuprolog.solve.sideffects.impl.commonMain.it.unibo.tuprolog.solve.sideffects.impl.SideEffectsBuilderImpl.kt
commonMain.it.unibo.tuprolog.solve.stdlib
commonMain.it.unibo.tuprolog.solve.stdlib.commonMain.it.unibo.tuprolog.solve.stdlib.CommonBuiltins.kt
commonMain.it.unibo.tuprolog.solve.stdlib.commonMain.it.unibo.tuprolog.solve.stdlib.CommonFunctions.kt
commonMain.it.unibo.tuprolog.solve.stdlib.commonMain.it.unibo.tuprolog.solve.stdlib.CommonPrimitives.kt
commonMain.it.unibo.tuprolog.solve.stdlib.commonMain.it.unibo.tuprolog.solve.stdlib.CommonRules.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.AbsoluteValue.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.Addition.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.ArcTangent.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.BitwiseAnd.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.BitwiseComplement.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.BitwiseLeftShift.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.BitwiseOr.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.BitwiseRightShift.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.Ceiling.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.Cosine.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.Exponential.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.Exponentiation.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.FloatFractionalPart.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.FloatIntegerPart.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.FloatingPointDivision.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.Floor.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.IntegerDivision.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.Modulo.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.Multiplication.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.NaturalLogarithm.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.Remainder.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.Round.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.Sign.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.SignReversal.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.Sine.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.SquareRoot.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.Subtraction.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.ToFloat.kt
commonMain.it.unibo.tuprolog.solve.stdlib.function.commonMain.it.unibo.tuprolog.solve.stdlib.function.Truncate.kt
commonMain.it.unibo.tuprolog.solve.stdlib.magic
commonMain.it.unibo.tuprolog.solve.stdlib.magic.commonMain.it.unibo.tuprolog.solve.stdlib.magic.MagicCut.kt
commonMain.it.unibo.tuprolog.solve.stdlib.magic.commonMain.it.unibo.tuprolog.solve.stdlib.magic.MagicTerm.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.Abolish.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.AbstractAssert.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.AbstractCollectingPrimitive.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.AbstractCollectionOf.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.AbstractGetData.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.AbstractSetData.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.Arg.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.ArithmeticEqual.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.ArithmeticGreaterThan.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.ArithmeticGreaterThanOrEqualTo.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.ArithmeticLowerThan.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.ArithmeticLowerThanOrEqualTo.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.ArithmeticNotEqual.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.Assert.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.AssertA.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.AssertZ.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.Atom.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.AtomChars.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.AtomCodes.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.AtomConcat.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.AtomLength.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.Atomic.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.BagOf.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.Between.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.Callable.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.CharCode.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.Clause.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.Compound.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.CopyTerm.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.CurrentFlag.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.CurrentOp.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.EnsureExecutable.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.FindAll.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.Float.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.Functor.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.GetDurable.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.GetEphemeral.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.GetPersistent.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.Ground.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.Halt.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.Halt1.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.Integer.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.Is.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.Natural.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.NewLine.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.NonVar.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.NotUnifiableWith.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.Number.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.NumberChars.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.NumberCodes.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.Op.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.Repeat.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.Retract.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.RetractAll.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.Reverse.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.SetDurable.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.SetEphemeral.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.SetFlag.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.SetOf.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.SetPersistent.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.Sleep.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.SubAtom.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.TermGreaterThan.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.TermGreaterThanOrEqualTo.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.TermIdentical.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.TermLowerThan.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.TermLowerThanOrEqualTo.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.TermNotIdentical.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.TermNotSame.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.TermSame.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.UnifiesWith.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.Univ.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.Var.kt
commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.Write.kt
commonMain.it.unibo.tuprolog.solve.stdlib.rule
commonMain.it.unibo.tuprolog.solve.stdlib.rule.commonMain.it.unibo.tuprolog.solve.stdlib.rule.Append.kt
commonMain.it.unibo.tuprolog.solve.stdlib.rule.commonMain.it.unibo.tuprolog.solve.stdlib.rule.Arrow.kt
commonMain.it.unibo.tuprolog.solve.stdlib.rule.commonMain.it.unibo.tuprolog.solve.stdlib.rule.CurrentPrologFlag.kt
commonMain.it.unibo.tuprolog.solve.stdlib.rule.commonMain.it.unibo.tuprolog.solve.stdlib.rule.Member.kt
commonMain.it.unibo.tuprolog.solve.stdlib.rule.commonMain.it.unibo.tuprolog.solve.stdlib.rule.Not.kt
commonMain.it.unibo.tuprolog.solve.stdlib.rule.commonMain.it.unibo.tuprolog.solve.stdlib.rule.Once.kt
commonMain.it.unibo.tuprolog.solve.stdlib.rule.commonMain.it.unibo.tuprolog.solve.stdlib.rule.Semicolon.kt
commonMain.it.unibo.tuprolog.solve.stdlib.rule.commonMain.it.unibo.tuprolog.solve.stdlib.rule.SetPrologFlag.kt
jvmMain.it.unibo.tuprolog.solve
jvmMain.it.unibo.tuprolog.solve.jvmMain.it.unibo.tuprolog.solve.SolverExtensionsJvm.kt
jvmMain.it.unibo.tuprolog.solve.jvmMain.it.unibo.tuprolog.solve.TimeJvm.kt
jvmMain.it.unibo.tuprolog.solve.channel
jvmMain.it.unibo.tuprolog.solve.channel.jvmMain.it.unibo.tuprolog.solve.channel.Channels.kt
jvmMain.it.unibo.tuprolog.solve.channel.jvmMain.it.unibo.tuprolog.solve.channel.PrintStreamChannel.kt
jvmMain.it.unibo.tuprolog.solve.channel.jvmMain.it.unibo.tuprolog.solve.channel.ReaderChannel.kt
jvmMain.it.unibo.tuprolog.solve.channel.jvmMain.it.unibo.tuprolog.solve.channel.WriterChannel.kt




© 2015 - 2024 Weber Informatics LLC | Privacy Policy