• Home
• it.unibo.jakta
• jakta-dsl
• 0.11.114
• source code
• LogicProgrammingScopeWithJaktaExtensions.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.

it.unibo.tuprolog.dsl.jakta.LogicProgrammingScopeWithJaktaExtensions.kt Maven / Gradle / Ivy

package it.unibo.tuprolog.dsl.jakta

import it.unibo.tuprolog.core.Atom
import it.unibo.tuprolog.core.Struct
import it.unibo.tuprolog.dsl.BaseLogicProgrammingScope

interface LogicProgrammingScopeWithJaktaExtensions> :
    BaseLogicProgrammingScope {
    fun Struct.source(name: String): Struct =
        addFirst(Struct.of("source", Atom.of(name)))

    fun String.source(name: String): Struct =
        atomOf(this).addFirst(Struct.of("source", Atom.of(name)))

    val Struct.fromSelf
        get() = source("self")

    val String.fromSelf
        get() = source("self")

    val Struct.fromPercept
        get() = source("percept")

    val String.fromPercept
        get() = source("percept")
}