برمجة منطقية
Sign in to saveAlso known as use logic programming
استعمال المنطق الرياضي من أجل برمجة الحاسوب
Wikidata facts
- Subclass of
- declarative programming
Show 3 more facts
- topic's main category
- Category:Logic programming
- Stack Exchange tag
- stackoverflow.com/tags/logic-programming
- Commons category
- Logic programming
Sources (3)
via Wikidata · CC0
Article · العربية
البرمجة المنطقية (بالإنجليزية: Logic programming) هي بمفهومها العام استعمال المنطق الرياضي من أجل برمجة الحاسوب. ويستعمل المنطق لغة تصريحية للتعبير عن المشكلة. خلاف الكثير من لغات البرمجة التقليدية فإن المبرمج في البرمجة المنطقية لا يقوم بحل المشكلة بشكل كامل، وانما يقع على عاتقه مسؤولية جزئية في حل المشكلة، وهي بتمثيل القضايا والمعارف بصفة منطقية (logical form)، ويقع الجزء الآخر لحل المشكلة على ما يدعى بمبرهن القضايا (theorem-prover) أو مولد النماذج (model-generator) الذي يقوم بحل المشكلة بشكل فعال.
Abstract from DBpedia / Wikipedia · CC BY-SA