interface PrologScopeWithUnification: PrologScope, Unificator, Any
Methods
mguWith
open infix fun Any.mguWith(other: Any): Substitution
Receiver
Name | Description |
---|---|
Any
|
Parameters
Name | Description |
---|---|
other: Any
|
ReturnValue
Name | Description |
---|---|
Substitution
|
matches
open infix fun Any.matches(other: Any): Boolean
Receiver
Name | Description |
---|---|
Any
|
Parameters
Name | Description |
---|---|
other: Any
|
ReturnValue
Name | Description |
---|---|
Boolean
|
unifyWith
open infix fun Any.unifyWith(other: Any): Term?
Receiver
Name | Description |
---|---|
Any
|
Parameters
Name | Description |
---|---|
other: Any
|
ReturnValue
Name | Description |
---|---|
Term?
|
mgu
open fun mgu(term1: Any, term2: Any, occurCheckEnabled: Boolean): Substitution
Parameters
Name | Description |
---|---|
term1: Any
|
|
term2: Any
|
|
occurCheckEnabled: Boolean
|
ReturnValue
Name | Description |
---|---|
Substitution
|
match
open fun match(term1: Any, term2: Any, occurCheckEnabled: Boolean): Boolean
Parameters
Name | Description |
---|---|
term1: Any
|
|
term2: Any
|
|
occurCheckEnabled: Boolean
|
ReturnValue
Name | Description |
---|---|
Boolean
|
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
|
CompanionObject
PrologScopeWithUnification
interface PrologScopeWithUnification: PrologScope, Unificator, Any
Methods
empty
fun empty(): PrologScopeWithUnification
ReturnValue
Name | Description |
---|---|
PrologScopeWithUnification
|
of
fun of(unificator: Unificator): PrologScopeWithUnification
Parameters
Name | Description |
---|---|
unificator: Unificator
|
ReturnValue
Name | Description |
---|---|
PrologScopeWithUnification
|