Programmazione logica

Linguaggi che supportano il paradigma logico

• Prolog: Usato in intelligenza artificiale e linguistica computazionale. Si basa su regole e fatti per rispondere a query logiche.