L’evoluzione del filone logico: programmazione logica
PROLOG
- implementazione di un frammento del calcolo dei predicati del primo ordine
- strutture dati molto flessibili (termini) con calcolo effettuato dall’algoritmo di unificazione
- computazioni non-deterministiche
- gestione della memoria a heap con garbage collector
CLP (Constraint Logic Programming)
- PROLOG + calcolo su domini diversi (anche numerici) con opportuni algoritmi di soluzione di vincoli