programmazione logica

Paradigma di programmazione che utilizza la logica booleana per rappresentare problemi e algoritmi all'interno del sistema.