ภาษาโปรแกรมที่ใช้ในการโปรแกรมที่เป็นโครงสร้างควบคุมและแคลคูลัสเพรดิเคตจำกัด express ตัวอย่างเช่น ภาษาโปรล็อก