ภาษา nonprocedural ซึ่งอนุญาตให้ผู้ใช้ เพื่อประกาศชุดของข้อเท็จจริง และ express แบบสอบถามหรือปัญหาที่ใช้ข้อเท็จจริงเหล่านี้