Un lenguaje de programación utilizado para expresar programas en términos de construcciones de control y un cálculo de predicados restringido; por ejemplo, PROLOG.