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