solve/it.unibo.tuprolog.solve/problogSolverFactory

problogSolverFactory

expect fun problogSolverFactory(): SolverFactory

Platform-specific lookup of the :solve-problog SolverFactory (backing it.unibo.tuprolog.solve.Solver.problog).

actual fun problogSolverFactory(): SolverFactory

Platform-specific lookup of the :solve-problog SolverFactory (backing it.unibo.tuprolog.solve.Solver.problog).

actual fun problogSolverFactory(): SolverFactory

Platform-specific lookup of the :solve-problog SolverFactory (backing it.unibo.tuprolog.solve.Solver.problog).

Generated by Dokka
© 2026 Copyright