Một ngôn ngữ lập trình được sử dụng để nhận các chương trình điều khiển xây dựng và một tính toán predicate bị hạn chế; Ví dụ, PROLOG.