[lisp]chiamata ricorsiva infinita.

[mnovait]

ciao a tutti,amici del forum.
è la prima volta che posto in questa sezione,ma già vi chiedo un grosso aiuto.
il codice che da il problema è scritto da me,per un progettino dell'università(non è ancora terminato).
tranquilli,non vi sto chiedendo di farmelo tutto (anche se quasi quasi..)

in sostanza la chiamata
CL-USER 22 : 1 > (fbf2cnf '(or (implies a c) b))

sul codice in allegato genera un loop infinito.e non trovo il motivo.

sapreste darmi una dritta?

grazie.(detto da un uomo disperato)

[mnovait]

Originariamente inviato da mnovait

ciao a tutti,amici del forum.
è la prima volta che posto in questa sezione,ma già vi chiedo un grosso aiuto.
il codice che da il problema è scritto da me,per un progettino dell'università(non è ancora terminato).
tranquilli,non vi sto chiedendo di farmelo tutto (anche se quasi quasi..)

in sostanza la chiamata
CL-USER 22 : 1 > (fbf2cnf '(or (implies a c) b))

sul codice in allegato genera un loop infinito.e non trovo il motivo.

sapreste darmi una dritta?

grazie.(detto da un uomo disperato)

non vi ho allegato il file (sono proprio fuso...)


edit:allegato rimosso