| Constructor and Description |
|---|
OnceLeave() |
| Modifier and Type | Method and Description |
|---|---|
Term |
instantiate(List<Term> variables)
Copies the term for using in another clause.
|
void |
invoke(Stack<Operation> stack,
TermList goal) |
Copyright © 2014 Intersult GmbH. All rights reserved.