Ohjelmointikieli käyttää ilmaista ohjelmien valvonnan rakenteita ja rajoitettu predikaatti calculus; esimerkiksi prologi.