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.