package it.unibo.tuprolog.dsl
Classes
| Name | Description |
|---|---|
expect class AnyToTermConverterImpl: AnyToTermConverter, Any
|
|
interface PrologAwareScope: Scope, Any
|
|
interface PrologScope: PrologStdLibScope, VariablesAwareScope, Any
|
|
interface PrologStdLibScope: PrologAwareScope, Any
|
|
interface VariablesAwareScope: PrologAwareScope, Any
|
Subpackages
| Name | Description |
|---|---|
package it.unibo.tuprolog.dsl.theory
|
|
package it.unibo.tuprolog.dsl.unify
|
Methods
prolog
fun <R> prolog(function: PrologScope.()->R): R
Parameters
| Name | Description |
|---|---|
function: PrologScope.()->R
|
ReturnValue
| Name | Description |
|---|---|
R
|