package it.unibo.tuprolog.dsl.unify
Classes
| Name | Description |
|---|---|
interface PrologScopeWithUnification: PrologScope, Unificator, Any
|
|
class PrologScopeWithUnificationImpl: PrologScopeWithUnification, PrologScope, Unificator, Any
|
Methods
scope
fun <R> PrologScopeWithUnification.scope(function: PrologScopeWithUnification.()->R): R
Receiver
| Name | Description |
|---|---|
PrologScopeWithUnification
|
Parameters
| Name | Description |
|---|---|
function: PrologScopeWithUnification.()->R
|
ReturnValue
| Name | Description |
|---|---|
R
|
rule
fun PrologScopeWithUnification.rule(function: PrologScopeWithUnification.()->Term): Rule
Receiver
| Name | Description |
|---|---|
PrologScopeWithUnification
|
Parameters
| Name | Description |
|---|---|
function: PrologScopeWithUnification.()->Term
|
ReturnValue
| Name | Description |
|---|---|
Rule
|
fact
fun PrologScopeWithUnification.fact(function: PrologScopeWithUnification.()->Term): Fact
Receiver
| Name | Description |
|---|---|
PrologScopeWithUnification
|
Parameters
| Name | Description |
|---|---|
function: PrologScopeWithUnification.()->Term
|
ReturnValue
| Name | Description |
|---|---|
Fact
|
prolog
fun <R> prolog(function: PrologScopeWithUnification.()->R): R
Parameters
| Name | Description |
|---|---|
function: PrologScopeWithUnification.()->R
|
ReturnValue
| Name | Description |
|---|---|
R
|