class PrologScopeWithTheoriesImpl: PrologScopeWithTheories, PrologScope, Unificator, Any
Constructors
<init>
constructor()
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
|