solve/it.unibo.tuprolog.solve.impl

Package it.unibo.tuprolog.solve.impl

Types

Link copied to clipboard
abstract class AbstractSolver<E : ExecutionContext>(    libraries: Libraries = Libraries.empty(),     flags: FlagStore = FlagStore.empty(),     initialStaticKb: <ERROR CLASS> = Theory.empty(),     initialDynamicKb: <ERROR CLASS> = MutableTheory.empty(),     inputChannels: InputStore = InputStore.fromStandard(),     outputChannels: OutputStore = OutputStore.fromStandard(),     trustKb: Boolean = false) : Solver
Content copied to clipboard