Package | Description |
---|---|
alice.tuprolog |
Modifier and Type | Method and Description |
---|---|
static ClauseStore |
ClauseStore.build(Term goal,
List<Var> vars,
List<ClauseInfo> familyClauses)
Carica una famiglia di clausole
Reviewed by Paolo Contessi:
OneWayList.transform(List) -> OneWayList.transform2(List)
|
ClauseStore |
ChoicePointContext.getCompatibleGoals() |