| Package | Description | 
|---|---|
| alice.tuprolog | |
| alice.tuprolog.clausestore | 
| Modifier and Type | Method and Description | 
|---|---|
SubGoalTree | 
SubGoalTree.addChild()  | 
SubGoalTree | 
ClauseInfo.getBody()  | 
SubGoalTree | 
DefaultClauseInfo.getBody()  | 
SubGoalTree | 
ClauseInfo.getBodyCopy()  | 
SubGoalTree | 
DefaultClauseInfo.getBodyCopy()  | 
SubGoalTree | 
SubGoalStore.getSubGoals()  | 
| Modifier and Type | Method and Description | 
|---|---|
boolean | 
SubGoalStore.load(SubGoalTree subGoals)  | 
void | 
SubGoalStore.pushSubGoal(SubGoalTree subGoals)  | 
| Modifier and Type | Method and Description | 
|---|---|
SubGoalTree | 
FactClauseInfo.getBody()  | 
SubGoalTree | 
CollectionItemClause.getBody()  | 
SubGoalTree | 
FactClauseInfo.getBodyCopy()  | 
SubGoalTree | 
CollectionItemClause.getBodyCopy()  | 
Copyright © 2015. All rights reserved.