dsl-solve/it.unibo.tuprolog.dsl.solve

Package-level declarations

Types

Link copied to clipboard
interface LogicProgrammingScopeWithResolution : LogicProgrammingScopeWithTheories, MutableSolver
Link copied to clipboard
class LogicProgrammingScopeWithResolutionImpl(val solverFactory: SolverFactory, val unificator: Unificator, scope: Scope, val defaultSolver: MutableSolver = solverFactory.mutableSolverWithDefaultBuiltins()) : LogicProgrammingScopeWithResolution, LogicProgrammingScopeWithTheories, MutableSolver

Functions

Link copied to clipboard
fun <R> logicProgramming(solverFactory: SolverFactory, unificator: Unificator = solverFactory.defaultUnificator, function: LogicProgrammingScopeWithResolution.() -> R): R
Link copied to clipboard
fun <R> lp(solverFactory: SolverFactory, unificator: Unificator = solverFactory.defaultUnificator, function: LogicProgrammingScopeWithResolution.() -> R): R
Link copied to clipboard
fun <R> prolog(unificator: Unificator = Unificator.default, function: LogicProgrammingScopeWithResolution.() -> R): R