All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Search JAR files by class name

Download solve-classic-metadata JAR 0.14.11 with all dependencies

Stable, state-machine-based implementation of Prolog's SLDNF resolution principle

Files of the artifact solve-classic-metadata version 0.14.11 from the group it.unibo.tuprolog.

Artifact solve-classic-metadata
Group it.unibo.tuprolog
Version 0.14.11
Last update 27. October 2020
Tags: platform prolog environment kotlin multi
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 3
Dependencies kotlin-stdlib-common, solve-metadata, dsl-theory-metadata,
There are maybe transitive dependencies!

There is a newer version: 0.17.4

Show newest version

Show more of this group Show more artifacts with this name
Show all versions of solve-classic-metadata Show documentation

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

0 downloads

Source code of solve-classic-metadata version 0.14.11

META-INF

META-INF.META-INF.MANIFEST.MF

commonMain.it.unibo.tuprolog.solve

commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.ChoicePointContext.kt

commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.ClassicExecutionContext.kt

commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.ClassicSolver.kt

commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.ClassicSolverFactory.kt

commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.MutableClassicSolver.kt

commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.SolutionIterator.kt

commonMain.it.unibo.tuprolog.solve.commonMain.it.unibo.tuprolog.solve.SolverExtensions.kt

commonMain.it.unibo.tuprolog.solve.fsm

commonMain.it.unibo.tuprolog.solve.fsm.commonMain.it.unibo.tuprolog.solve.fsm.AbstractEndState.kt

commonMain.it.unibo.tuprolog.solve.fsm.commonMain.it.unibo.tuprolog.solve.fsm.AbstractState.kt

commonMain.it.unibo.tuprolog.solve.fsm.commonMain.it.unibo.tuprolog.solve.fsm.EndState.kt

commonMain.it.unibo.tuprolog.solve.fsm.commonMain.it.unibo.tuprolog.solve.fsm.ExceptionalState.kt

commonMain.it.unibo.tuprolog.solve.fsm.commonMain.it.unibo.tuprolog.solve.fsm.State.kt

commonMain.it.unibo.tuprolog.solve.fsm.commonMain.it.unibo.tuprolog.solve.fsm.StateBacktracking.kt

commonMain.it.unibo.tuprolog.solve.fsm.commonMain.it.unibo.tuprolog.solve.fsm.StateEnd.kt

commonMain.it.unibo.tuprolog.solve.fsm.commonMain.it.unibo.tuprolog.solve.fsm.StateException.kt

commonMain.it.unibo.tuprolog.solve.fsm.commonMain.it.unibo.tuprolog.solve.fsm.StateGoalSelection.kt

commonMain.it.unibo.tuprolog.solve.fsm.commonMain.it.unibo.tuprolog.solve.fsm.StateHalt.kt

commonMain.it.unibo.tuprolog.solve.fsm.commonMain.it.unibo.tuprolog.solve.fsm.StateInit.kt

commonMain.it.unibo.tuprolog.solve.fsm.commonMain.it.unibo.tuprolog.solve.fsm.StatePrimitiveExecution.kt

commonMain.it.unibo.tuprolog.solve.fsm.commonMain.it.unibo.tuprolog.solve.fsm.StatePrimitiveSelection.kt

commonMain.it.unibo.tuprolog.solve.fsm.commonMain.it.unibo.tuprolog.solve.fsm.StateRuleExecution.kt

commonMain.it.unibo.tuprolog.solve.fsm.commonMain.it.unibo.tuprolog.solve.fsm.StateRuleSelection.kt

commonMain.it.unibo.tuprolog.solve.fsm.commonMain.it.unibo.tuprolog.solve.fsm.Utils.kt

commonMain.it.unibo.tuprolog.solve.stdlib

commonMain.it.unibo.tuprolog.solve.stdlib.commonMain.it.unibo.tuprolog.solve.stdlib.DefaultBuiltins.kt

commonMain.it.unibo.tuprolog.solve.stdlib.primitive

commonMain.it.unibo.tuprolog.solve.stdlib.primitive.commonMain.it.unibo.tuprolog.solve.stdlib.primitive.Throw.kt

commonMain.it.unibo.tuprolog.solve.stdlib.rule

commonMain.it.unibo.tuprolog.solve.stdlib.rule.commonMain.it.unibo.tuprolog.solve.stdlib.rule.Call.kt

commonMain.it.unibo.tuprolog.solve.stdlib.rule.commonMain.it.unibo.tuprolog.solve.stdlib.rule.Catch.kt

commonMain.it.unibo.tuprolog.solve.stdlib.rule.commonMain.it.unibo.tuprolog.solve.stdlib.rule.Comma.kt

commonMain.it.unibo.tuprolog.solve.stdlib.rule.commonMain.it.unibo.tuprolog.solve.stdlib.rule.Cut.kt

commonMain.it.unibo.tuprolog.solve.stdlib.rule.commonMain.it.unibo.tuprolog.solve.stdlib.rule.NegationAsFailure.kt

commonMain.it.unibo.tuprolog.solve.stdlib.rule.commonMain.it.unibo.tuprolog.solve.stdlib.rule.SpecificRules.kt

© 2015 - 2024 Weber Informatics LLC | Privacy Policy