|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
IFactList is the base interface for a collection of relations. It can be compared with a database table containing rows of relations. The name of the factlist would be the tablename. That's why factlist extends IFact. So it inherits a name. The relation of the extended IFact are also used for factlists returned by queries. In this relation, parameters of the statements are stored.
prolog:
myFact(joe,dan).
myFact(joe,dan2).
In this example, the two facts "myFact" are stored in a factlist.
interpreter internal:
myFact(joe,dan).
myFact(joe,dan2).
myStatement(X,Y):-myFact(X,Y).
In this example, the results returned by myFact(X,Y) are stored in a factlist.
Copyright: Copyright (c) 2002
Organisation:
| Method Summary | |
void |
addRelation(IRelation atoms)
adds a relation to this fact list |
int |
getColCount()
|
IFactList |
getCopy()
|
IFactList |
getMatchings(IFact fact)
|
java.util.Iterator |
getRelations()
|
int |
getRowCount()
|
void |
setRelation(IRelation r)
sets the relation |
| Methods inherited from interface prolog.model.IFact |
genXml, getName, getRelation, toString |
| Method Detail |
public int getColCount()
public int getRowCount()
public void addRelation(IRelation atoms)
atoms - to be addedpublic java.util.Iterator getRelations()
public void setRelation(IRelation r)
public IFactList getMatchings(IFact fact)
throws ParameterMatchingError
fact - the search patternpublic IFactList getCopy()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||