9 relazioni: Answer set programming, Clausola di Horn, Datalog, Informatica, Paradigma di programmazione, Programmazione logica abduttiva, Programmazione logica induttiva, Prolog, Teoria del primo ordine.
Answer set programming
Lanswer set programming (ASP) è una forma di programmazione logica di tipo dichiarativo, basata sulla semantica del modello stabile (o answer set).
Nuovo!!: Programmazione logica e Answer set programming · Mostra di più »
Clausola di Horn
In logica, e in particolare nel calcolo proposizionale, una clausola di Horn è una disgiunzione di letterali in cui al massimo uno dei letterali è positivo.
Nuovo!!: Programmazione logica e Clausola di Horn · Mostra di più »
Datalog
Datalog è un linguaggio di interrogazione per basi di dati che ha riscosso un notevole interesse dalla comunità scientifica dalla metà degli anni ottanta.
Nuovo!!: Programmazione logica e Datalog · Mostra di più »
Informatica
L'informatica è la scienza applicata che si occupa del trattamento dell'informazione mediante procedure automatizzate.
Nuovo!!: Programmazione logica e Informatica · Mostra di più »
Paradigma di programmazione
In informatica, un paradigma di programmazione è uno stile fondamentale di programmazione, ovvero un insieme di strumenti concettuali forniti da un linguaggio di programmazione per la stesura del codice sorgente di un programma, definendo dunque il modo in cui il programmatore concepisce e percepisce il programma stesso.
Nuovo!!: Programmazione logica e Paradigma di programmazione · Mostra di più »
Programmazione logica abduttiva
La Programmazione Logica Abduttiva (ALP, dall'inglese Abductive Logic Programming) è una sottoarea della programmazione logica che inserisce nella programmazione logica regole di inferenza basate sulla abduzione.
Nuovo!!: Programmazione logica e Programmazione logica abduttiva · Mostra di più »
Programmazione logica induttiva
La programmazione logica induttiva (acronimo ILP, dall'inglese Inductive Logic Programming) è una sottoarea dell'apprendimento automatico che rappresenta la sua confluenza con la programmazione logica.
Nuovo!!: Programmazione logica e Programmazione logica induttiva · Mostra di più »
Prolog
Il Prolog (contrazione del francese PROgrammation en LOGique) è un linguaggio di programmazione che adotta il paradigma di programmazione logica.
Nuovo!!: Programmazione logica e Prolog · Mostra di più »
Teoria del primo ordine
Nella logica matematica una teoria del primo ordine è un particolare sistema formale, cioè una teoria formale in cui è possibile esprimere enunciati e dedurre le loro conseguenze logiche in modo del tutto formale e meccanico.
Nuovo!!: Programmazione logica e Teoria del primo ordine · Mostra di più »