sull'argomento programmazione è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. In informatica la programmazione logica è un paradigma...
2 KB (290 words) - 22:19, 22 April 2025
Inductive Logic Programming) è una sottoarea dell'apprendimento automatico che rappresenta la sua confluenza con la programmazione logica. Spesso viene...
590 bytes (67 words) - 11:14, 18 October 2016
di riferimento. In informatica, la programmazione dichiarativa è un paradigma di programmazione secondo cui la logica della computazione viene espressa...
9 KB (1,108 words) - 05:06, 14 May 2025
risposta "ottima" e viene usata in programmazione logica e nell'implementazione dei sistemi di tipi dei linguaggi programmazione, specialmente negli algoritmi...
11 KB (1,641 words) - 14:14, 12 May 2025
linguaggio di programmazione è un sistema di notazione per la scrittura di programmi per computer. La maggior parte dei linguaggi di programmazione sono linguaggi...
41 KB (5,383 words) - 21:29, 13 May 2025
embedded nel linguaggio di programmazione, oppure in librerie separate. La programmazione a vincoli iniziò come programmazione logica a vincoli, introducendo...
11 KB (1,314 words) - 04:59, 14 March 2025
delle fonti. La Programmazione Logica Abduttiva (ALP, dall'inglese Abductive Logic Programming) è una sottoarea della programmazione logica che inserisce...
3 KB (355 words) - 07:28, 28 July 2019
argomento in dettaglio: Programmazione logica induttiva. La programmazione logica induttiva (anche ILP, dall'inglese inductive logic programming) è un approccio...
43 KB (5,215 words) - 20:42, 12 March 2025
d'applicazione, di algoritmi specializzati, e di logica formale. Tra gli incarichi legati alla programmazione ci sono la gestione del codice sorgente, il suo...
25 KB (3,097 words) - 07:09, 22 May 2025
paradigma della programmazione strutturata, Lisp su quello della programmazione funzionale, Prolog su quello della programmazione logica e così via. Alcuni...
6 KB (731 words) - 14:14, 16 February 2025
Clausola di Horn (section Programmazione logica)
Horn sono alla base della programmazione logica, dove è comune scrivere clausole definite in forma di implicazione logica: ( p ∧ q ∧ . . . ∧ t ) → u...
4 KB (688 words) - 02:19, 13 March 2025
logica che possono essere modellate matematicamente. Altri termini utilizzati spesso nel passato sono logica simbolica (termine contrapposto a logica...
9 KB (1,128 words) - 22:12, 29 January 2025
Prolog (redirect from PROgramming in LOGic)
PROgrammation en LOGique) è un linguaggio di programmazione che adotta il paradigma di programmazione logica. È stato ideato da Robert Kowalski (aspetto...
7 KB (793 words) - 08:05, 23 April 2025
eseguire; interfaccia per il dispositivo di programmazione, che comunica con gli strumenti di programmazione; bus dati, comando, indirizzi per la veicolazione...
21 KB (2,877 words) - 20:25, 2 March 2025
guida sull'uso delle fonti. In informatica, la programmazione imperativa è un paradigma di programmazione secondo cui un programma viene inteso come un...
4 KB (510 words) - 17:39, 18 August 2024
Answer set programming (category Programmazione logica)
L'answer set programming (ASP) è una forma di programmazione logica di tipo dichiarativo utilizzato per problemi di ricerca complessi (in primis NP-difficili)...
12 KB (1,475 words) - 21:47, 15 March 2025
Curry (informatica) (category Stub - linguaggi di programmazione)
di programmazione è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Curry è un linguaggio di programmazione logico-funzionale...
4 KB (427 words) - 12:43, 10 October 2024
Assunzione del mondo chiuso (category Programmazione logica)
F. Furlan, G.A. Lanzarone, PROLOG - Linguaggio e metodologia di programmazione logica (PDF), Università degli Studi di Milano - Dipartimento di informatica...
6 KB (789 words) - 21:44, 15 March 2025
Mercury (linguaggio) (category Linguaggi di programmazione logica)
Mercury è un linguaggio di programmazione appartenente al paradigma di programmazione logica, e non funzionale come spesso viene erroneamente considerato...
2 KB (187 words) - 06:20, 30 July 2023
La logica combinatoria è un approccio per eliminare la necessità di variabili quantificate nella logica matematica in connessione con il lambda calcolo...
2 KB (317 words) - 13:18, 13 January 2024
Alice è un linguaggio di programmazione funzionale progettato presso l'Università della Saarland. È un dialetto di Standard ML, con il supporto aggiuntivo...
2 KB (234 words) - 01:29, 21 November 2024
Ragionamento automatico (category Logica nell'informatica)
consultato il 19 novembre 2022. Dimostrazione automatica di teoremi Programmazione logica Model checking Ragionamento continuo (EN) Ragionamento automatico...
2 KB (209 words) - 08:19, 14 May 2025
Datalog (category Linguaggi di programmazione logica)
metà degli anni ottanta. Datalog si presenta come un linguaggio di programmazione logica sintatticamente derivato da Prolog rappresentandone un sottoinsieme...
6 KB (835 words) - 21:43, 27 July 2024
dimostrazione completa per refutazione per enunciati in logica proposizionale e logica del primo ordine. Nella logica proposizionale, l'applicazione sistematica della...
7 KB (1,064 words) - 07:36, 25 April 2025
SWI-Prolog (category Linguaggi di programmazione logica)
utilizzare diverse cose, tra le quali usare le librerie per la programmazione logica vincolata, multithreading, GUI, interfacciamento a Java, ODBC ed...
2 KB (265 words) - 15:13, 30 July 2019
La programmazione dell'attività è fatta, dunque, su una previsione dei fabbisogni che saranno necessari per la produzione. Si contrappone alla logica pull...
1 KB (192 words) - 10:44, 19 August 2020
Cronologia dei linguaggi di programmazione Concetti Codice sorgente Programmazione (informatica) Programmazione imperativa Programmazione procedurale Persone...
40 KB (4,358 words) - 10:25, 16 April 2025
Haskell Curry (category Logici statunitensi)
Morì in State College, Pennsylvania. Nel campo della logica matematica, specialmente in logica combinatoria, il lavoro principale di Curry fu quello...
2 KB (276 words) - 05:29, 15 September 2023
Negazione come fallimento (category Programmazione logica)
default) è una regola di inferenza non monotòna utilizzata nella programmazione logica per derivare n o t p {\displaystyle \mathrm {not} ~p} dal fallimento...
5 KB (642 words) - 13:11, 4 March 2025
Planner (linguaggio) (category Linguaggi di programmazione logica)
Conniver, QLISP ed Ether sono stati strumenti importanti di ricerca nell'intelligenza artificiale durante gli anni settanta. Programmazione logica Prolog...
744 bytes (92 words) - 09:41, 24 June 2021
Robert Kowalski (category Logici statunitensi)
semantica logica della programmazione logica. Con Marek Sergot, ha sviluppato sia il calcolo degli eventi che l'applicazione della programmazione logica al ragionamento...
6 KB (790 words) - 13:04, 27 September 2024