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

Go to download

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

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

There is a newer version: 0.17.4

@file:JvmName("PrologExtensions")
package it.unibo.tuprolog.dsl.theory

import kotlin.js.JsName
import kotlin.jvm.JvmName

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