Package | Description |
---|---|
alice.tuprolog |
Modifier and Type | Method and Description |
---|---|
ClauseInfo |
ClauseStore.fetch()
Restituisce la clausola da caricare
|
ClauseInfo |
TheoryManager.retract(Struct cl)
removing from dbase the first clause with head unifying with clause
|
Modifier and Type | Method and Description |
---|---|
java.util.List<ClauseInfo> |
TheoryManager.find(Term headt)
Returns a family of clauses with functor and arity equals
to the functor and arity of the term passed as a parameter
Reviewed by Paolo Contessi: modified according to new ClauseDatabase
implementation
|
java.util.List<ClauseInfo> |
ClauseStore.getClauses() |
java.util.Iterator<ClauseInfo> |
ClauseDatabase.iterator() |
Modifier and Type | Method and Description |
---|---|
void |
RBTree.delete(K key,
ClauseInfo c) |
Modifier and Type | Method and Description |
---|---|
static ClauseStore |
ClauseStore.build(Term goal,
java.util.List<Var> vars,
java.util.List<ClauseInfo> familyClauses)
Carica una famiglia di clausole
Reviewed by Paolo Contessi:
OneWayList.transform(List) -> OneWayList.transform2(List)
|