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

Companion

object Companion

Properties

Link copied to clipboard
@JvmStatic
@get:JvmName(name = "concurrent")
val concurrent: SolverFactory

The SolverFactory for the solver that parallelizes resolution (:solve-concurrent).

Link copied to clipboard
@JvmStatic
@get:JvmName(name = "problog")
val problog: SolverFactory

The SolverFactory for the probabilistic-logic-programming solver (:solve-problog).

Link copied to clipboard
@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