|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Object
|
+--java.util.Dictionary
|
+--java.util.Hashtable
|
+--Interpreter.PrologInterpreter.DataBase
Database contenente termini e clausole prolog.
| Constructor Summary | |
DataBase()
Costruisce un nuovo database. |
|
| Method Summary | |
ClauseVector |
get(Sexp term)
Restituisce una lista di tutte le clausole con funtore ed arity corrispondenti a termine = (functor (a,b,c)). |
ClauseVector |
get(java.lang.String functor)
Restituisce una lista di tutte le clausole con funtore ed arity corrispondenti ai parametri. |
ClauseVector |
get(java.lang.String functor,
int arity)
Restituisce una lista di tutte le clausole con funtore ed arity corrispondenti ai parametri. |
ClauseVector |
getThrough(java.lang.String functor,
int arity)
Restituisce una lista di tutte le clausole con funtore ed arity corrispondenti ai parametri. |
static void |
main(java.lang.String[] s)
Metodo main: per debug. |
void |
put(Sexp head,
Sexp dottedClause)
Aggiunge una nuova clausola al database. |
void |
putA(Sexp head,
Sexp dottedClause)
Aggiunge una nuova clausola al database. |
java.lang.String |
toString()
Stampa il database. |
| Methods inherited from class java.util.Hashtable |
clear,
clone,
contains,
containsKey,
containsValue,
elements,
entrySet,
equals,
get,
hashCode,
isEmpty,
keys,
keySet,
put,
putAll,
rehash,
remove,
size,
values |
| Methods inherited from class java.lang.Object |
finalize,
getClass,
notify,
notifyAll,
wait,
wait,
wait |
| Constructor Detail |
public DataBase()
| Method Detail |
public void put(Sexp head,
Sexp dottedClause)
throws InterpreterException
head - la testa della clausola.dottedClause - l'intera clausola.
public void putA(Sexp head,
Sexp dottedClause)
throws InterpreterException
head - la testa della clausola.dottedClause - l'intera clausola.
public ClauseVector get(Sexp term)
throws InterpreterException
term - il termine con cui bisogna unificare.
public ClauseVector get(java.lang.String functor,
int arity)
throws InterpreterException
functor - il funtore.arity - l'arity.
public ClauseVector getThrough(java.lang.String functor,
int arity)
throws InterpreterException
functor - il funtore.arity - l'arity.
public ClauseVector get(java.lang.String functor)
throws InterpreterException
functor - il funtore.arity - l'arity.public java.lang.String toString()
public static void main(java.lang.String[] s)
throws InterpreterException
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||