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

[Gollum1]

Il 06 luglio 2015 02:25:18 CEST, enrico franchi <enrico.franchi a gmail.com> ha scritto:
>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)).

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).