• Home
• it.unibo.tuprolog
• dsl-solve
• 0.31.5-dev0m+0c07eb350
• source code
• DSL.kt

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

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

@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: LogicProgrammingScopeWithResolution.() -> R
): R {
    return LogicProgrammingScopeWithResolution.of(solverFactory, unificator).function()
}

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

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