Companion

Properties

@get:JvmName(name = "classic")

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

@get:JvmName(name = "concurrent")

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

@get:JvmName(name = "problog")

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

@get:JvmName(name = "prolog")

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

@get:JvmName(name = "streams")

The SolverFactory for the experimental, more side-effect-free solver (:solve-streams).