Package | Description |
---|---|
io.github.prolobjectlink.prolog |
Modifier and Type | Class and Description |
---|---|
class |
AbstractIndicator
Partial implementation of
PrologIndicator interface. |
Modifier and Type | Method and Description |
---|---|
PrologIndicator |
PrologClause.getPrologIndicator()
Clause family PrologIndicator based indicator.
|
PrologIndicator |
AbstractClause.getPrologIndicator() |
Modifier and Type | Method and Description |
---|---|
Set<PrologIndicator> |
PrologEngine.currentPredicates()
Predicate set defined in the wrapped prolog engine.
|
Set<PrologIndicator> |
AbstractEngine.currentPredicates() |
Set<PrologIndicator> |
PrologEngine.getBuiltIns()
Predicate set defined by the supported built-ins predicate in the wrapped
prolog engine.
|
Set<PrologIndicator> |
PrologEngine.getPredicates()
User defined predicate set defined in the wrapped prolog engine.
|
Copyright © 2020–2024 Prolobjectlink Project. All rights reserved.