solve/it.unibo.tuprolog.solve/prologSolverFactory

prologSolverFactory

expect fun prologSolverFactory(): SolverFactory

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

actual fun prologSolverFactory(): SolverFactory

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

actual fun prologSolverFactory(): SolverFactory

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

Generated by Dokka
© 2026 Copyright