jar

it.unibo.tuprolog : solve-classic-jvm

Maven & Gradle

Aug 25, 2023
8 usages
86 stars

2P-Kt, Solve-Classic Module · Stable, state-machine-based implementation of Prolog's SLDNF resolution principle

Table Of Contents

Latest Version

Download it.unibo.tuprolog : solve-classic-jvm JAR file - Latest Versions:

All Versions

Download it.unibo.tuprolog : solve-classic-jvm JAR file - All Versions:

Version Vulnerabilities Size Updated
0.31.x
0.30.x
0.20.x
0.19.x
0.18.x
0.17.x
0.16.x
0.15.x
0.14.x
0.13.x
0.12.x
0.11.x
0.10.x

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window solve-classic-jvm-0.31.13.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

it.unibo.tuprolog.solve.classic

├─ it.unibo.tuprolog.solve.classic.AbstractClassicSolver.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.ChoicePointContext.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.ChoicePointContextKt.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.ClassicExecutionContext.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.ClassicSolver.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.ClassicSolverFactory.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.MutableClassicSolver.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.MutableSolutionIterator.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.SolutionIterator.class - [JAR]

it.unibo.tuprolog.solve.classic.stdlib.rule

├─ it.unibo.tuprolog.solve.classic.stdlib.rule.Call.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.stdlib.rule.Catch.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.stdlib.rule.Comma.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.stdlib.rule.Cut.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.stdlib.rule.NegationAsFailure.class - [JAR]

it.unibo.tuprolog.solve.classic.impl

├─ it.unibo.tuprolog.solve.classic.impl.AbstractSolutionIterator.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.impl.HijackableSolutionIterator.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.impl.SimpleSolutionIterator.class - [JAR]

it.unibo.tuprolog.solve.classic.stdlib.primitive

├─ it.unibo.tuprolog.solve.classic.stdlib.primitive.Throw.class - [JAR]

it.unibo.tuprolog.solve.classic.stdlib

├─ it.unibo.tuprolog.solve.classic.stdlib.DefaultBuiltins.class - [JAR]

it.unibo.tuprolog.solve.classic.fsm

├─ it.unibo.tuprolog.solve.classic.fsm.AbstractEndState.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.fsm.AbstractState.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.fsm.EndState.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.fsm.ExceptionalState.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.fsm.State.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.fsm.StateBacktracking.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.fsm.StateEnd.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.fsm.StateException.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.fsm.StateGoalSelection.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.fsm.StateHalt.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.fsm.StateInit.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.fsm.StatePrimitiveExecution.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.fsm.StatePrimitiveSelection.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.fsm.StateRuleExecution.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.class - [JAR]

├─ it.unibo.tuprolog.solve.classic.fsm.Utils.class - [JAR]

Advertisement

Dependencies from Group

May 18, 2021
9 usages
86 stars
Aug 25, 2023
9 usages
86 stars
Aug 25, 2023
9 usages
86 stars
Aug 25, 2023
9 usages
86 stars
Aug 25, 2023
8 usages
86 stars

Discover Dependencies

May 10, 2023
8 usages
4.2k stars
Jun 15, 2020
8 usages
1.1k stars
Aug 10, 2023
21 usages
27 stars
Apr 14, 2023
11 usages
429 stars
May 10, 2023
8 usages
4.2k stars
May 10, 2023
8 usages
4.2k stars
May 18, 2023
8 usages
403 stars
May 18, 2023
8 usages
403 stars
Jun 21, 2023
10 usages
1.8k stars
May 30, 2023
9 usages
2 stars