logica lineare
Claudio Pizzi
Proposta dal francese Jean-Yves Girard nel 1987, la logica lineare non si limita a considerare le proposizioni come oggetti dotati di valori di verità come nella logica [...] rappresentazioni in termini di circuiti elettrici con prese, e sono numerose le applicazioni all’informatica (linguaggio PROLOG, gestione della memoria, studio degli algoritmi paralleli) e alla meccanizzazione del ragionamento. Le dimostrazioni in ...
Leggi Tutto
Horn, clausola di
Horn, clausola di in logica, → clausola avente una particolare struttura. In una clausola si distinguono letterali negativi, se sono espressi in forma negativa, cioè preceduti dal connettivo [...] loro impiego specifico è nei linguaggi di programmazione logica, utilizzati particolarmente per risolvere problemi legati all’intelligenza artificiale. Esse costituiscono, infatti, le istruzioni elementari su cui tali linguaggi si basano (→ prolog). ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] in applicazioni legate all'intelligenza artificiale, come lo sviluppo di sistemi esperti e lo studio del linguaggio naturale. In PROLOG il calcolo di un valore è visto come un obiettivo e il programma descrive quali sottoobiettivi sono necessari per ...
Leggi Tutto
RUT (ebraico Rūth; i Settanta ‛Ρουϑ; la Volgata Ruth)
Giuseppe Ricciotti
Donna moabita presa in moglie da Mahalon, dopo la cui morte seguì la suocera Noemi a Betlemme, dove fu sposata da Booz. La conoscenza [...] , Hist. Eccl., VI, 25; cfr. quella di Melitone di Sardi, ibid., IV, 26), di Atanasio (Epist. fest., 39), di Girolamo (Prolog. galeat.), ecc.
L'autore del libro è sconosciuto; la sua attribuzione a Samuele che si ritrova nel Talmūd (Baba Bathra, 14 b ...
Leggi Tutto
linguaggio algoritmico
linguaggio algoritmico qualunque linguaggio nel quale possa essere espresso un algoritmo. Per esprimere un algoritmo in modo interpretabile ed eseguibile da un automa esecutore [...] espressioni comuni, si dà spesso il nome di linguaggio di progetto. Ai linguaggi algoritmici orientati alla risoluzione di problemi tramite gli algoritmi, si contrappongono i linguaggi di programmazione logica, di cui il più diffuso è il → prolog. ...
Leggi Tutto
Kowalski, notazione di
Kowalski, notazione di espressione con cui si indica la formula: algoritmo = logica + controllo. Tale formula esprime sinteticamente la teoria di R. Kowalski sugli algoritmi dei [...] iterativo.
La distinzione fra logica e controllo è alla base dei linguaggi di programmazione logica (come per esempio il prolog) la cui caratteristica principale è quella di richiedere, nella risoluzione di un problema, la specifica di ciò che deve ...
Leggi Tutto
programmazione
programmazione insieme delle operazioni (→ programma) necessarie a istruire un automa esecutore; per questo scopo l’uomo interagisce con la macchina attraverso un opportuno linguaggio [...] logici, da cui deriva conclusioni attraverso regole di inferenza logica. Il linguaggio più diffuso in quest’ambito è il → prolog.
Se si cerca di risolvere un particolare problema attraverso lo sviluppo di un unico programma, l’ambiente in cui lo ...
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
linguaggio di programmazione
linguaggio di programmazione particolare linguaggio impiegato per esprimere dati e istruzioni che possano essere letti, interpretati ed eseguiti da un automa esecutore, in [...] di programmazione logica, impiegati soprattutto nei contesti di problem solving. Un linguaggio logico, quale è il → PROLOG, fondamentale linguaggio di questo tipo, non utilizza istruzioni e procedure di calcolo per la risoluzione di problemi ...
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...