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

Go to download

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

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

The newest version!

@file:JvmName("DSL")

package it.unibo.tuprolog.dsl.solve

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

@JsName("logicProgramming")
fun  logicProgramming(
    solverFactory: SolverFactory,
    unificator: Unificator = solverFactory.defaultUnificator,
    function: LogicProgrammingScope.() -> R,
): R = LogicProgrammingScope.of(solverFactory, unificator).function()

@JsName("lp")
fun  lp(
    solverFactory: SolverFactory,
    unificator: Unificator = solverFactory.defaultUnificator,
    function: LogicProgrammingScope.() -> R,
): R = logicProgramming(solverFactory, unificator, function)

@JsName("prolog")
fun  prolog(
    unificator: Unificator = Solver.prolog.defaultUnificator,
    function: LogicProgrammingScope.() -> R,
): R = logicProgramming(Solver.prolog, unificator, function)