[Python] FRP book (era: Re: Web Server e Web Framework)

[enrico franchi]

2015-07-04 13:27 GMT+01:00 Gollum1 <gollum1.smeagol1 a 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)).

-- 
.
..: -enrico-
-------------- parte successiva --------------
Un allegato HTML è stato rimosso...
URL: <http://lists.python.it/pipermail/python/attachments/20150706/5e6eea32/attachment.html>