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
PROLOG acronimo di programmation en logique (programmazione logica), indica un linguaggio di programmazione elaborato nel 1972 nell’ambito dell’università di Aix-Marseille sulla base dell’impostazione teorica del matematico e logico inglese R. Kowalski. È usato in vari contesti come l’→ intelligenza ... ...
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
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...