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
forma normale disgiuntiva
forma normale disgiuntiva impiegata nel linguaggio di programmazione logica → prolog, è una forma proposizionale composta come disgiunzione generalizzata di sottoforme proposizionali, [...] ciascuna delle quali è una congiunzione generalizzata di lettere enunciative (→ forma normale congiuntiva; → Horn, clausola di) ...
Leggi Tutto
forma normale congiuntiva
forma normale congiuntiva impiegata nel linguaggio di programmazione logica → prolog, è una forma proposizionale composta come congiunzione di sottoforme proposizionali, ciascuna [...] delle quali è una disgiunzione di lettere enunciative. È, quindi, del tipo A1 ∧ A2 ∧ ... ∧ An, dove A1, A2, ..., An indicano disgiunzioni di lettere enunciative. Per esempio, una proposizione in forma ...
Leggi Tutto
letterale
letterale in algebra, attributo con il quale si qualifica il calcolo che utilizza lettere per indicare variabili, parametri o elementi generici di un insieme (→ calcolo letterale).
□ In logica [...] e informatica, nell’ambito del linguaggio di programmazione prolog, proposizione costituita da una lettera che indica una variabile enunciativa (letterale positivo) o la sua negazione (letterale negativo): una proposizione C è un letterale, come pure ...
Leggi Tutto
programmazione logica
programmazione logica tipo di programmazione in cui la struttura principale consiste nelle proposizioni logiche e nella loro composizione attraverso connettivi; tali proposizioni [...] esplicano fatti, regole e relazioni, dai quali il programma trae le conclusioni attraverso le regole d’inferenza logica. Il linguaggio di programmazione logica più diffuso è il → prolog. ...
Leggi Tutto
Tradizioni, culto e dottrine nel mondo bulgaro
Krassimir Stantchev
Vassja Velinova
Il tema e l’immagine di Costantino entrano nella cultura bulgara con la conversione del primo impero bulgaro (681-1018) [...] fonte di notizie biografiche su Costantino il Grande durante tutto il secondo impero bulgaro.
Le letture del tipo destinato al Prolog si possono trovare anche in altri libri liturgici. Così in un mineo festivo della fine del XIII secolo, noto come ...
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...