package it.unibo.tuprolog.solve.streams
Classes
| Name | Description |
|---|---|
interface SolverStrategies: Any
|
Interface representing internal strategies used by the Solver |
object StreamsSolverFactory: SolverFactory, Any
|
Subpackages
| Name | Description |
|---|---|
package it.unibo.tuprolog.solve.streams.solver
|
|
package it.unibo.tuprolog.solve.streams.stdlib
|