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

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

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

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

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

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

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

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

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

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

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

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

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

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

risposta "ottima" e viene usata in programmazione logica e nell'implementazione dei sistemi di tipi dei linguaggi programmazione, specialmente negli algoritmi...

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

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

Alice è un linguaggio di programmazione funzionale progettato presso l'Università della Saarland. È un dialetto di Standard ML, con il supporto aggiuntivo...

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

La logica combinatoria è un approccio per eliminare la necessità di variabili quantificate nella logica matematica in connessione con il lambda calcolo...

utilizzare diverse cose, tra le quali usare le librerie per la programmazione logica vincolata, multithreading, GUI, interfacciamento a Java, ODBC ed...

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

metà degli anni ottanta. Datalog si presenta come un linguaggio di programmazione logica sintatticamente derivato da Prolog rappresentandone un sottoinsieme...

La programmazione dell'attività è fatta, dunque, su una previsione dei fabbisogni che saranno necessari per la produzione. Si contrappone alla logica pull...

semantica logica della programmazione logica. Con Marek Sergot, ha sviluppato sia il calcolo degli eventi che l'applicazione della programmazione logica al ragionamento...

Morì in State College, Pennsylvania. Nel campo della logica matematica, specialmente in logica combinatoria, il lavoro principale di Curry fu quello...

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

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

(EN) ECLiPSe, su SourceForge. (EN) ECLiPSe, su SourceForge. Programmazione della logica di vincolo tramite ECLiPSe [1], libro di testo di Krzysztof Apt...

Programming – programmazione lineare per la risoluzione di problemi lineari interi Inductive Logic Programming (programmazione logica induttiva) – branca...