• Home
• it.unibo.jakta
• jakta-dsl
• 0.11.114
• source code
• LogicProgrammingScopeExtensions.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.jakta.agents.bdi.dsl.beliefs.LogicProgrammingScopeExtensions.kt Maven / Gradle / Ivy

package it.unibo.jakta.agents.bdi.dsl.beliefs

// context(LogicProgrammingScope)
// fun Struct.source(name: String): Struct = addFirst(Struct.of("source", Atom.of(name)))
//
// context(LogicProgrammingScope)
// fun String.source(name: String): Struct = atomOf(this).addFirst(Struct.of("source", Atom.of(name)))
//
// context(LogicProgrammingScope)
// val Struct.fromSelf
//    get() = source("self")
//
// context(LogicProgrammingScope)
// val String.fromSelf
//    get() = source("self")
//
// context(LogicProgrammingScope)
// val Struct.fromPercept
//    get() = source("percept")
//
// context(LogicProgrammingScope)
// val String.fromPercept
//    get() = source("percept")