برولوغ
عودة للموسوعةالبرولوغ (Prolog) هي لغة برمجة منطقية. الاسم مأخوذ من الفرنسية programmation en logique (برمجة المنطق)، تم اختراع اللغة بواسطة ألين كولميرايور حوالي العام 1972. كانت محاولة لجعل لغة البرمجة قادرة على استخدام عبارات منطقية بدل حتى تكون تعليمات محددة تلقن إلى الحاسوب. صممت اللغة أساسًا لتستخدم في عمل برامج معالجة اللغات الطبيعية.
تستخدم لغة البرولوغ في الكثير من برامج الذكاء الاصطناعي وبرامج معالجة اللغات الطبيعية. عبارات وقواعد اللغة تعتبر بسيطة جداً وواضحة (يتم كتابة البرنامج بالكامل باستخدام الحقائق والقواعد). الكثير من الباحثين الذين يقودون تطبيقات حديثة للبرولوغ التي اتىت نتيجة استخدام نسخات مختلفة من البرولوغ كنواة في مشاريع أنظمة حاسوب الجيل الخامس (fifth generation computer systems اختصارًا FGCS).
الحقائق Facts
تختلف طريقة البرمجة في برولوغ عن اللغات التقليدية. في بورلوغ يتم كتابة الحقائق (Facts) والقواعد (Rules) في قاعدة بيانات، ثم يتم كتابة إستفسارت queries من قاعدة البيانات. الحقية تعبير عن سند (predicate) (الوحدة الأساسية للبرولوغ). يتكون السند من رأس (head) وعدد من الوسائط (arguments). مثال
cat(tom).
في هذا المثال نقول ببساطة حتى هناك توم 'tom' وهوقط 'cat'،بتعبير أدق 'cat' هورأس (head) السند و'tom' هووسيطة (argument). هنا عدد من الإستفسارات التي يمكن سؤالها بناء على هذه الحقيقة:
هل توم قط (is tom a cat)؟
?- cat(tom). yes.
ببساطة هنا نسأل إذا توم قط ويجيبنا برولوغ بنعم (yes).
ما هي الأمور التي هي قط (what things are cats)؟
?- cat(X). X = tom; non
القواعد Rules
أن النوع الثاني من العبارت في برلوغ هي القواعد:
father(X,Y) :- parent(X,Y),male(X).
أنواع المعلومات Data types
لا تحتوي لغة البرولوغ على أنواع معلومات (Data types) تقليدية كلغات البرمجة التقليدية الأخرى. ولكن على عناصر هجريبية (lexical elements).
الذرات Atoms
يعهد النص الثابت في برولوغ بمعنى الذرات Atoms. الذرة تعبير عن سلسلة من الحروف، الأرقام ورمز الشارحة-السفلية (_) (underscores) على حتى يبدأ النص بحرف إنجليزي صغير (lower-case). عادة، إذا كان هناك رمز ليس بحرف أورقم فأنه يوضع بين (علامة التنصيص الأحادية) (مثال '+' يعتبر ذرة، في حين + يعتبر معامل)asxaxascsadcvsdcddddd
الأرقام
معظم نسخ البرلوغ لاتميز بين الأعداد السليمة والأعداد الحقيقية.
المتغيرات Variables
يعبر المتغيرات Variables عن نص يتكون من الحروف، الأرقام ورمز شرطة-السفلية (_) على حتى يبدأ النص بحرف إنجليزي كبير (upper-case). على عكس اللغات القولية (imperative programming languages) في بيئة البرولوغ المتغير ليس مكان في الذاكرة (مستوعب) يمكن تخزين القيم فيه. تصرف المتغيرات يتبع النمط لإيجاد القيمة.
مراجع
- ^ Sterling, Leon (2002). "Patterns for Prolog Programming". Computational Logic: Logic Programming and Beyond. 2407. صفحات 17–26. doi:10.1007/3-540-45628-7_15. ISBN .
- ^ Clocksin, William F.; Mellish, Christopher S. (2003). Programming in Prolog. Berlin ; New York: Springer-Verlag. ISBN .
- ^ "An abstract Prolog instruction set". Technical Note 309, معهد ستانفورد للأبحاث, Menlo Park, CA, October 1983. نسخة محفوظة 04 مارس 2016 على مسقط واي باك مشين.
- خط من ويكي الخط
التصنيفات: علم الحاسوب في 1972, لغات برمجة تعريفية, لغات برمجة ديناميكية النمط, لغات برمجة منطقية, معايير الأيزو, لغات برمجة أنشئت في 1972, قالب أرشيف الإنترنت بوصلات واي باك, صفحات تستخدم خاصية P571, صفحات بها بيانات ويكي بيانات, صفحات تستخدم خاصية P287, صفحات تستخدم خاصية P1195, صفحات بها وصلات إنترويكي, صفحات تستخدم خاصية P244, بوابة برمجة الحاسوب/مقالات متعلقة, بوابة منطق/مقالات متعلقة, جميع المقالات التي تستخدم شريط بوابات