PROLOG 

PROLOG 〈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

PROLOG

refutazione (in programmazione logica)

refutazione (in programmazione logica) → prolog.

refutazione (in programmazione logica)

risoluzione-refutazione, sistema di 

risoluzione-refutazione, sistema di → prolog.

risoluzione-refutazione, sistema di

riduzione per clausole, regola di 

riduzione per clausole, regola di → prolog.

riduzione per clausole, regola di

risoluzione, regola di (in programmazione logica)

risoluzione, regola di (in programmazione logica) → prolog.

risoluzione, regola di (in programmazione logica)

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)

forma normale disgiuntiva

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

forma normale congiuntiva

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

letterale

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.

programmazione logica

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

Tradizioni, culto e dottrine nel mondo bulgaro

prologare 

v. intr. [der. di prologo] (io pròlogo, tu pròloghi, ecc.; aus. avere), letter. – Comporre o recitare un prologo.

prologare

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