Trail e global stack

... sto facendo la tesina di Applicazioni di Intelligenza Artificiale. Ho incontrato un problema: il programma riempie entrambi gli stack, sia trail che global, e a quanto pare il garbage collector non funziona, anche dopo averlo avviato con il predicato set_flag(gc, on).. Potrebbe darmi un'indicazione su come risolvere il problema?

La maggior parte delle volte in cui questo succede, è causato da un loop infinito in qualche predicato. Il consiglio che posso darle è di usare il comando trace per attivare il debugger di ECLiPSe (veda il manuale di ECLiPSe per sapere come funziona), oppure di mettere qualche write per il codice per vedere quali parti vengono eseguite.