PDA

View Full Version : [lisp]chiamata ricorsiva infinita.


mnovait
14-07-2009, 13:06
ciao a tutti,amici del forum.
è la prima volta che posto in questa sezione,ma già vi chiedo un grosso aiuto.:help:
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:sofico: (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.:muro: :muro:

sapreste darmi una dritta?

grazie.(detto da un uomo disperato)

mnovait
14-07-2009, 13:08
ciao a tutti,amici del forum.
è la prima volta che posto in questa sezione,ma già vi chiedo un grosso aiuto.:help:
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:sofico: (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.:muro: :muro:

sapreste darmi una dritta?

grazie.(detto da un uomo disperato)
non vi ho allegato il file :) (sono proprio fuso...)


edit:allegato rimosso