Download solve-jvm JAR 0.12.0 with all dependencies

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

Artifact solve-jvm
Group it.unibo.tuprolog
Version 0.12.0

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

0 downloads

Source code of solve-jvm version 0.12.0

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.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.FlagStore.kt

commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.InputStore.kt

commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.MutableSolver.kt

commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.OutputStore.kt

commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.SideEffect.kt

commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.SideEffectFactory.kt

commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.SideEffectManager.kt

commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.SideEffectsBuilder.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.Solver.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.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.Listener.kt

commonMain.it.unibo.tuprolog.solve.channel.commonMain.it.unibo.tuprolog.solve.channel.OutputChannel.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.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.InputChannelFromFunction.kt

commonMain.it.unibo.tuprolog.solve.channel.impl.commonMain.it.unibo.tuprolog.solve.channel.impl.OutputChannelFromFunction.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.PrologError.kt

commonMain.it.unibo.tuprolog.solve.exception.commonMain.it.unibo.tuprolog.solve.exception.PrologWarning.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.TuPrologRuntimeException.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.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.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.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.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.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.PrologFunction.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.SideEffectsBuilderImpl.kt

commonMain.it.unibo.tuprolog.solve.library

commonMain.it.unibo.tuprolog.solve.library.commonMain.it.unibo.tuprolog.solve.library.AliasedLibrary.kt

commonMain.it.unibo.tuprolog.solve.library.commonMain.it.unibo.tuprolog.solve.library.Libraries.kt

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.LibraryGroup.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.LibraryAliasedImpl.kt

commonMain.it.unibo.tuprolog.solve.library.impl.commonMain.it.unibo.tuprolog.solve.library.impl.LibraryImpl.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.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.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.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.Atomic.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.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.CurrentOp.kt

commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.CurrentPrologFlag.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.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.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.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.Sleep.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.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

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.InputStreamChannel.kt

jvmMain.it.unibo.tuprolog.solve

jvmMain.it.unibo.tuprolog.solve.jvmMain.it.unibo.tuprolog.solve.currentTimeInstant.kt