Package it.unibo.tuprolog.solve.impl

abstract class AbstractSolver<E : ExecutionContext>(libraries: Libraries, flags: FlagStore, initialStaticKb: Theory, initialDynamicKb: Theory, inputChannels: InputStore, outputChannels: OutputStore, trustKb: Boolean) : Solver

Content copied to clipboard