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

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

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

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

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

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

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

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

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