PROLOGPROLOG 〈prològ〉 [ELT] [INF] Sigla di pro(gram-ma) log(ico) per indicare un linguaggio logico di programmazione in cui il programma è costituito da un insieme di asserzioni e di regole su un insieme [...] di oggetti e sulle relazioni che li legano, chiamato base di conoscenza: v. linguaggi di programmazione: III 428 e ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] corso un intenso lavoro di ricerca in tale direzione.
La sintesi logica dei programmi. − La programmazione logica e il PROLOG hanno reso popolare l'equazione: computare=dimostrare. Un ulteriore sviluppo di questa idea è di usare le dimostrazioni per ...
Leggi Tutto
linguàggio di programmazióne In informatica, insieme di parole e di regole, definite in modo formale, per consentire la programmazione di un elaboratore affinché esegua compiti predeterminati. Esistono [...] dei principali vantaggi di questo approccio. Nei linguaggi dinamicamente tipizzati (APL, Objective-C, Lisp, Smalltalk, JavaScript, Tcl, Prolog, Python, Ruby ecc.), il legame fra variabile e tipo può cambiare nel corso dell’esecuzione: la variabile ...
Leggi Tutto
LINGUAGGI PROGRAMMATIVI
Carlo Ghezzi
I l. p. (o linguaggi di programmazione) costituiscono il mezzo linguistico tramite cui gli elaboratori possono essere programmati. Essi costituiscono pertanto lo [...] facilità con la quale C e UNIX interagiscono hanno costituito una spinta poderosa per la diffusione del linguaggio.
Il PROLOG è il primo esempio di linguaggio per la programmazione logica. Anche se esso impone severe limitazioni rispetto alle formule ...
Leggi Tutto
INFORMAZIONE, SCIENZA DELLA
Roman Tirler
Pierluigi Ridolfi
Stefano Ceri e Alfonso Fuggetta
Tecnologie della comunicazione di Roman Tirler
Sommario: 1. Introduzione. 2. Tecniche di comunicazione dati: [...] nell'accertare se una data asserzione sia o meno verificata. L'esempio più famoso di linguaggio logico è senza dubbio Prolog.
In tempi molto recenti, si è sviluppata una nuova categoria di linguaggi, di tipo imperativo, che consentono la creazione di ...
Leggi Tutto
INFORMATICA MEDICA
Giorgio Migliau
Il progressivo sviluppo dell'informatica negli ultimi anni ha permesso la messa a punto di tecnologie molto avanzate e di sistemi sempre più veloci e affidabili. D'altra [...] scopo sono stati introdotti nuovi linguaggi di programmazione come il LISP (List Processing) o il più recente PROLOG (Programming in Logic). Attualmente esistono linguaggi di programmazione con interprete e compilatore (Expert System Shell: GENIE e ...
Leggi Tutto
prologo
pròlogo s. m. [dal lat. prolŏgus, gr. πρόλογος, comp. di προ- «avanti» e λόγος «discorso»] (pl. -ghi). – 1. Nelle antiche tragedie e commedie greche e latine, monologo o dialogo che introduceva l’azione, e serviva a esporre l’antefatto...