Originally Posted by
Axet
Io lo amo :love:
Btw il paragone non c'azzecca, paradigmi logici (prolog, jess, etc) o funzionali (lisp, strips, etc) sono cmq delle sottospecie di calcolatrici. E' diverso il modo di esprimersi per il programmatore se vogliamo, ma a livello computazionale di base non ci sono differenze.
Difatti esiste un teorema, per altro abbastanza recente se non erro, che dimostra che bastano poche strutture base come l'assegnamento di valore a una variabile, la ricorsione e l'if per descrivere qualsiasi problema che vada ad essere risolto da una macchina di von neumann.
Qua si parla di un'architettura totalmente differente. L'idea mi gusta assai cmq :O