| Package | Description |
|---|---|
| com.intersult.ai.prolog | |
| com.intersult.ai.prolog.buildin |
| Modifier and Type | Field and Description |
|---|---|
TermList |
ChoicePoint.goal |
| Modifier and Type | Method and Description |
|---|---|
TermList |
TermList.getNext() |
TermList |
TermList.insert(TermList termList) |
TermList |
TermList.instantiate(List<Term> variables) |
static TermList |
PrologParser.parseTermList(String string) |
| Modifier and Type | Method and Description |
|---|---|
List<TermList> |
TermList.getDefiner(Map<String,List<TermList>> db) |
static List<TermList> |
PrologParser.parseProgram(String string) |
| Modifier and Type | Method and Description |
|---|---|
static void |
PrologParser.compileParameters(com.intersult.parser.NonTerminal node,
TermList termList,
Map<String,Term> variables) |
void |
Prolog.consult(TermList termList) |
TermList |
TermList.insert(TermList termList) |
void |
TermList.instantiate(List<Term> variables,
TermList termList) |
void |
Term.invoke(Stack<Operation> stack,
TermList goal) |
| Modifier and Type | Method and Description |
|---|---|
void |
Prolog.consult(List<TermList> program) |
List<TermList> |
TermList.getDefiner(Map<String,List<TermList>> db) |
| Constructor and Description |
|---|
ChoicePoint(int clauseNumber,
TermList goal) |
| 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.