commonMain.it.unibo.tuprolog.dsl.unify.LogicProgrammingScopeWithUnificationImpl.kt Maven / Gradle / Ivy

Go to download

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

Kotlin DSL for logic programming, enriched with unification facilities

There is a newer version: 1.0.4

package it.unibo.tuprolog.dsl.unify

import it.unibo.tuprolog.core.Scope
import it.unibo.tuprolog.dsl.LogicProgrammingScope
import it.unibo.tuprolog.unify.Unificator

class LogicProgrammingScopeWithUnificationImpl(
    override val unificator: Unificator,
    scope: Scope
) : LogicProgrammingScopeWithUnification,
    LogicProgrammingScope by LogicProgrammingScope.of(scope),
    Unificator by unificator