Il 06 luglio 2015 02:25:18 CEST, enrico franchi <enrico.fran...@gmail.com> ha scritto: >2015-07-04 13:27 GMT+01:00 Gollum1 <gollum1.smeag...@gmail.com>: > >> >> Si chiamava prolog, è in parte anche scheme (lisp) funzionava >riempiendo >> l'ambiente di definizioni, che poi potevano essere messe insieme per >> risolvere un problema, il prolog prometteva di farlo con un >linguaggio >> quasi naturale. > > >In realta' non utilizzerei il passato. Dopo di che, Prolog non ha mai >promesso di avere un "linguaggio quasi naturale". Quello che promette >(e >quasi mantiene) e' di fare inferenza su quella che e' essenzialmente >logica >del primo ordine (che e' tutto fuorche' naturale -- anzi, tecnicamente >sono >solo clausole di Horn --); in realta' normalmente va anche un po' oltre >la >logica del primo ordine attraverso determinati costrutti; quello che >non >mantiene sono una serie di tecnicismi sul fatto che la negazione >diventa >una cosa un pochetto sui generis e in generale sul fatto che per motivi >di >efficienza sono finite dentro una serie di costrutti che vanno a >rompere il >modello puramente logico. > >Mi aspetto che il riferimento al linguaggio naturale sia relativo al >fatto >che spesso Prolog sia stato usato per fare NLP (anche grazie alle >splendide >DCG -- qualcosa che tutti i linguaggi del pianeta gli invidiano >(purtroppo >non basta)).
Il fatto del linguaggio quasi naturale è una reminiscenza, e come tale sicuramente errata. Tieni conto che ho usato prolog per pochissimo tempo un 4º superiore. Mentre lisp schede (che ho adorato, l'ho usato in università). Byez -- Gollum1 Tessssoro, dov'è il mio tessssoro Inviato dal mio dispositivo Android con K-9 Mail. Perdonate la brevità e gli errori di battitura (maledetto correttore automatico). _______________________________________________ Python mailing list Python@lists.python.it http://lists.python.it/mailman/listinfo/python