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

Go to download

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

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

There is a newer version: 1.0.4

@file:JvmName("PrologExtensions")

package it.unibo.tuprolog.dsl.solve

import it.unibo.tuprolog.solve.SolverFactory
import kotlin.js.JsName
import kotlin.jvm.JvmName

@JsName("prologFromSolverFactory")
fun  prolog(solverFactory: SolverFactory, function: PrologScopeWithResolution.() -> R): R {
    return PrologScopeWithResolution.of(solverFactory).function()
}

@JsName("prolog")
fun  prolog(function: PrologScopeWithResolution.() -> R): R {
    return PrologScopeWithResolution.empty().function()
}