| Package | Description |
|---|---|
| com.declarativa.interprolog | |
| com.declarativa.interprolog.gui | |
| com.declarativa.interprolog.util |
| Modifier and Type | Method and Description |
|---|---|
static ObjectExamplePair |
InitiallyFlatTermModel.example() |
static ObjectExamplePair |
TermModel.example() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
AbstractPrologEngine.teachMoreObjects(ObjectExamplePair example) |
boolean |
AbstractPrologEngine.teachMoreObjects(ObjectExamplePair[] examples)
Send an array of object example pairs to Prolog and generate ipObjectSpec facts.
|
boolean |
PrologEngine.teachMoreObjects(ObjectExamplePair[] examples)
Send an array of object example pairs to Prolog and generate ipObjectSpec facts.
|
| Modifier and Type | Method and Description |
|---|---|
static ObjectExamplePair |
PredicateTableModel.example() |
static ObjectExamplePair |
RelationTreeModel.example() |
static ObjectExamplePair |
TermListModel.example() |
static ObjectExamplePair |
TermTreeModel.example() |
static ObjectExamplePair |
XSBTableModel.example() |
static ObjectExamplePair[] |
ListenerWindow.guiExamples() |
| Modifier and Type | Method and Description |
|---|---|
static ObjectExamplePair |
VariableNode.example() |