jar

it.unibo.tuprolog : solve-streams-jvm

Maven & Gradle

Aug 25, 2023
1 usages
93 stars

2P-Kt, Solve-Streams Module · Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle

Table Of Contents

Latest Version

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

All Versions

Download it.unibo.tuprolog : solve-streams-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-streams-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.streams.solver

├─ it.unibo.tuprolog.solve.streams.solver.SideEffectManagerImpl.class - [JAR]

├─ it.unibo.tuprolog.solve.streams.solver.SideEffectManagerImplKt.class - [JAR]

├─ it.unibo.tuprolog.solve.streams.solver.SolverUtils.class - [JAR]

├─ it.unibo.tuprolog.solve.streams.solver.StreamsExecutionContext.class - [JAR]

├─ it.unibo.tuprolog.solve.streams.solver.StreamsExecutionContextKt.class - [JAR]

it.unibo.tuprolog.solve.streams

├─ it.unibo.tuprolog.solve.streams.SolverStrategies.class - [JAR]

├─ it.unibo.tuprolog.solve.streams.StreamsSolver.class - [JAR]

├─ it.unibo.tuprolog.solve.streams.StreamsSolverFactory.class - [JAR]

it.unibo.tuprolog.solve.streams.solver.fsm

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

├─ it.unibo.tuprolog.solve.streams.solver.fsm.AlreadyExecutedState.class - [JAR]

├─ it.unibo.tuprolog.solve.streams.solver.fsm.AlreadyExecutedStateKt.class - [JAR]

├─ it.unibo.tuprolog.solve.streams.solver.fsm.FinalState.class - [JAR]

├─ it.unibo.tuprolog.solve.streams.solver.fsm.IntermediateState.class - [JAR]

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

├─ it.unibo.tuprolog.solve.streams.solver.fsm.StateMachineExecutor.class - [JAR]

├─ it.unibo.tuprolog.solve.streams.solver.fsm.TimedState.class - [JAR]

it.unibo.tuprolog.solve.streams.stdlib.primitive

├─ it.unibo.tuprolog.solve.streams.stdlib.primitive.Call.class - [JAR]

├─ it.unibo.tuprolog.solve.streams.stdlib.primitive.Catch.class - [JAR]

├─ it.unibo.tuprolog.solve.streams.stdlib.primitive.Conjunction.class - [JAR]

├─ it.unibo.tuprolog.solve.streams.stdlib.primitive.Cut.class - [JAR]

├─ it.unibo.tuprolog.solve.streams.stdlib.primitive.Not.class - [JAR]

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

it.unibo.tuprolog.solve.streams.solver.fsm.impl

├─ it.unibo.tuprolog.solve.streams.solver.fsm.impl.AbstractTimedState.class - [JAR]

├─ it.unibo.tuprolog.solve.streams.solver.fsm.impl.StateEnd.class - [JAR]

├─ it.unibo.tuprolog.solve.streams.solver.fsm.impl.StateEndKt.class - [JAR]

├─ it.unibo.tuprolog.solve.streams.solver.fsm.impl.StateGoalEvaluation.class - [JAR]

├─ it.unibo.tuprolog.solve.streams.solver.fsm.impl.StateInit.class - [JAR]

├─ it.unibo.tuprolog.solve.streams.solver.fsm.impl.StateRuleSelection.class - [JAR]

it.unibo.tuprolog.solve.streams.stdlib

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

Advertisement

Dependencies from Group

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

Discover Dependencies

Aug 25, 2023
1 usages
93 stars
Aug 25, 2023
1 usages
93 stars
May 18, 2021
1 usages
93 stars
Aug 25, 2023
1 usages
93 stars
Aug 25, 2023
1 usages
93 stars
Jun 13, 2020
2 usages
Jun 13, 2020
1 usages
Jun 13, 2020
1 usages