Programmazione logica

Template:Stub informatica La programmazione logica è un paradigma di programmazione che adotta la logica del primo ordine sia per rappresentare sia per elaborare l'informazione.

In particolare viene adottato il frammento della logica a clausole di Horn che rappresenta la base teorica su cui sono costruiti i linguaggi di programmazione afferenti al paradigma logico e in particolare il Prolog.

Il meccanismo principale per elaborare teorie logiche fatte di clausole è l'unificazione.