Un llenguatge de programació utilitzat per expressar programes pel que fa a construccions de control i un càlcul de predicat restringit; per exemple, PROLOG.