Programmazione logica

Enciclopedia della Matematica (2013)

programmazione logica


programmazione logica tipo di programmazione in cui la struttura principale consiste nelle proposizioni logiche e nella loro composizione attraverso connettivi; tali proposizioni esplicano fatti, regole e relazioni, dai quali il programma trae le conclusioni attraverso le regole d’inferenza logica. Il linguaggio di programmazione logica più diffuso è il prolog.

TAG

Linguaggio di programmazione

Inferenza

Prolog