Un linguaggio di programmazione usato per esprimere programmi in termini di costrutti di controllo e un calcolo di attributo limitato; ad esempio, il prologo.