Uma linguagem de programação usada para expressar programas em termos de construções de controle e cálculo de predicado um restrito; por exemplo, prólogo.