بعض لغات البرمجة المنطقية مثل Datalog و ASP (برمجة مجموعة الإجابة) هي تعريفية بحتة - فهي تتيح عبارات حول ما يجب أن ينجزه البرنامج ، مع عدم وجود تعليمات واضحة خطوة بخطوة حول كيفية القيام بذلك. أما الآخرون ، مثل Prolog ، فهو مزيج من التصريح والضروري - قد يشمل أيضًا عبارات إجرائية مثل "إلى حل H ، حل B1 ، B2 ، و B3."
اللغات المستخدمة في البرمجة المنطقية
- ABSYS
- ALF (لغة البرمجة الوظيفية للمنطق الجبري).
- برنامج تصحيح الخوارزميات
- أليس
- ألما 0
- ASP (برمجة مجموعة الإجابة)
- رقاقة
- سياو
- CLACL
- CycL
- سجل البيانات
- Datomic
- DLV
- كسوف
- F-المنطق
- فلورا-2
- Fril
- FuzzyCLIPS
- غودل
- HiLog
- مزدوج الوجه
- ΛProlog
- Logtalk
- نظام مود
- والزئبق
- فلز
- نظام موزارت للبرمجة
- أوقية
- Parlog
- مخطط
- PROGOL
- لغة حاسوب
- حاسوب ++
- PROVA
- .QL
- ريبيكا نمذجة اللغة
- ROOP
- SICStus Prolog
- SWI-حاسوب
- ToonTalk
- منطق المعاملات
- Twelf
- Visual Prolog
- XSB
اللغة ، المنطق ، النموذج ، مصطلحات البرمجة