sull'argomento programmazione è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. In informatica la programmazione logica è un paradigma...

logica che possono essere modellate matematicamente. Altri termini utilizzati spesso nel passato sono logica simbolica (termine contrapposto a logica...

paradigma della programmazione strutturata, Lisp su quello della programmazione funzionale, Prolog su quello della programmazione logica e così via. Alcuni...

linguaggio di programmazione è un sistema di notazione per la scrittura di programmi per computer. La maggior parte dei linguaggi di programmazione sono linguaggi...

PROgrammation en LOGique) è un linguaggio di programmazione che adotta il paradigma di programmazione logica. È stato ideato da Robert Kowalski (aspetto...

Inductive Logic Programming) è una sottoarea dell'apprendimento automatico che rappresenta la sua confluenza con la programmazione logica. Spesso viene...

di riferimento. In informatica, la programmazione dichiarativa è un paradigma di programmazione secondo cui la logica della computazione viene espressa...

embedded nel linguaggio di programmazione, oppure in librerie separate. La programmazione a vincoli iniziò come programmazione logica a vincoli, introducendo...

argomento in dettaglio: Programmazione logica induttiva. La programmazione logica induttiva (anche ILP, dall'inglese inductive logic programming) è un approccio...

delle fonti. La Programmazione Logica Abduttiva (ALP, dall'inglese Abductive Logic Programming) è una sottoarea della programmazione logica che inserisce...

d'applicazione, di algoritmi specializzati, e di logica formale. Tra gli incarichi legati alla programmazione ci sono la gestione del codice sorgente, il suo...

guida sull'uso delle fonti. In informatica, la programmazione imperativa è un paradigma di programmazione secondo cui un programma viene inteso come un...

nell'ambito della programmazione orientata agli oggetti e in applicazioni web, in grado di separare la logica di presentazione dei dati dalla logica di business...

Cronologia dei linguaggi di programmazione Concetti Codice sorgente Programmazione (informatica) Programmazione imperativa Programmazione procedurale Persone...

eseguire; interfaccia per il dispositivo di programmazione, che comunica con gli strumenti di programmazione; bus dati, comando, indirizzi per la veicolazione...

Horn sono alla base della programmazione logica, dove è comune scrivere clausole definite in forma di implicazione logica: ( p ∧ q ∧ . . . ∧ t ) → u...

programmazione è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Questa voce o sezione sull'argomento programmazione...

di programmazione è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Curry è un linguaggio di programmazione logico-funzionale...

default) è una regola di inferenza non monotòna utilizzata nella programmazione logica per derivare n o t   p {\displaystyle \mathrm {not} ~p} dal fallimento...

rimanda qui. Se stai cercando la regola di inferenza utilizzata nella programmazione logica, vedi Negazione come fallimento. Il fluoruro di sodio è il sale...

programmazione è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Questa voce o sezione sull'argomento programmazione...

elettronica digitale, un Programmable Logic Device (PLD, lett. "dispositivo a logica programmabile") è un circuito logico digitale realizzato utilizzando tecniche...

Mercury è un linguaggio di programmazione appartenente al paradigma di programmazione logica, e non funzionale come spesso viene erroneamente considerato...

programmazione Nicola "Ballo" Balestri - basso Alessandro Magnanini - chitarra elettrica, chitarra acustica, tastiera, sintetizzatore, programmazione...

sull'uso delle fonti. Un linguaggio di programmazione ad alto livello, in informatica, è un linguaggio di programmazione caratterizzato da una significativa...

La logica intuizionista (o intuizionistica), o logica costruttiva, è la logica dell'intuizionismo matematico e di altre forme di costruttivismo matematico...

F. Furlan, G.A. Lanzarone, PROLOG - Linguaggio e metodologia di programmazione logica (PDF), Università degli Studi di Milano - Dipartimento di informatica...

L'answer set programming (ASP) è una forma di programmazione logica di tipo dichiarativo utilizzato per problemi di ricerca complessi (in primis NP-difficili)...

Simposio sulla programmazione logica, 1995. XSB XSB riassunto tecnico Programmazione in Tabled Prolog : bozza di un libro sulla programmazione XSB di David...

La logica fuzzy (o logica sfumata o logica sfocata) è una logica in cui si può attribuire a ciascuna proposizione o predicato un grado di verità diverso...

linguaggio di programmazione multiparadigma il cui obiettivo è di integrare con successo in un singolo linguaggio le caratteristiche della programmazione imperativa...