interface PrologScopeWithTheories: PrologScopeWithUnification, Any
Methods
theoryOf
open fun theoryOf(vararg clause: Clause): Theory
Parameters
| Name | Description |
|---|---|
vararg clause: Clause
|
ReturnValue
| Name | Description |
|---|---|
Theory
|
theoryOf
open fun theoryOf(clauses: Iterable<Clause>, vararg otherClauses: Iterable<Clause>): Theory
ReturnValue
| Name | Description |
|---|---|
Theory
|
theoryOf
open fun theoryOf(clauses: Sequence
ReturnValue
| Name | Description |
|---|---|
Theory
|
theory
open fun theory(vararg clauseFunctions: PrologScope.()->Any): Theory
Parameters
| Name | Description |
|---|---|
vararg clauseFunctions: PrologScope.()->Any
|
ReturnValue
| Name | Description |
|---|---|
Theory
|
Extensions
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
|