solve/it.unibo.tuprolog.solve/Solver/Companion/prolog

prolog

@JvmStatic
@get:JvmName(name = "prolog")
val prolog: SolverFactory

The SolverFactory for the Prolog, ISO-standard SLD-NF resolution solver (:solve-prolog).

Generated by Dokka
© 2026 Copyright