commonMain.it.unibo.tuprolog.dsl.solve.LogicProgrammingScopeWithResolutionImpl.kt Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of dsl-solve Show documentation

Kotlin DSL for logic programming, enriched with unification, clause storage, and resolution facilities

There is a newer version: 1.0.4

package it.unibo.tuprolog.dsl.solve

import it.unibo.tuprolog.core.Scope
import it.unibo.tuprolog.dsl.theory.LogicProgrammingScopeWithTheories
import it.unibo.tuprolog.solve.MutableSolver
import it.unibo.tuprolog.solve.SolverFactory
import it.unibo.tuprolog.unify.Unificator

class LogicProgrammingScopeWithResolutionImpl(
    override val solverFactory: SolverFactory,
    override val unificator: Unificator,
    scope: Scope,
    override val defaultSolver: MutableSolver = solverFactory.mutableSolverWithDefaultBuiltins()
) : LogicProgrammingScopeWithResolution,
    LogicProgrammingScopeWithTheories by LogicProgrammingScopeWithTheories.of(unificator, scope),
    MutableSolver by defaultSolver