| Package | Description |
|---|---|
| com.intersult.ai.prolog | |
| com.intersult.ai.prolog.buildin |
| Modifier and Type | Class and Description |
|---|---|
class |
ChoicePoint |
class |
Term |
| Modifier and Type | Method and Description |
|---|---|
static ChoicePoint |
Prolog.backtrack(Stack<Operation> stack) |
void |
Term.bind(Stack<Operation> stack,
Term term) |
void |
Term.invoke(Stack<Operation> stack,
TermList goal) |
static boolean |
Term.unify(Stack<Operation> stack,
Term left,
Term right) |
| Modifier and Type | Class and Description |
|---|---|
class |
Call |
class |
Nl |
class |
OnceEnter |
class |
OnceLeave |
class |
OnceMark |
class |
Print |
| Modifier and Type | Method and Description |
|---|---|
void |
Print.invoke(Stack<Operation> stack,
TermList goal) |
void |
OnceLeave.invoke(Stack<Operation> stack,
TermList goal) |
void |
OnceEnter.invoke(Stack<Operation> stack,
TermList goal) |
void |
Nl.invoke(Stack<Operation> stack,
TermList goal) |
void |
Call.invoke(Stack<Operation> stack,
TermList goal) |
Copyright © 2014 Intersult GmbH. All rights reserved.