https://3rabica.org/index.php?action=history&feed=atom&title=%D8%A8%D8%B1%D9%88%D9%84%D9%88%D8%BAبرولوغ - تاريخ المراجعة2026-06-06T17:58:25Zتاريخ التعديل لهذه الصفحة في الويكيMediaWiki 1.43.7https://3rabica.org/index.php?title=%D8%A8%D8%B1%D9%88%D9%84%D9%88%D8%BA&diff=1265520&oldid=prevعبد العزيز: بوت:إضافة بوابة (بوابة:علم الحاسوب,بوابة:فلسفة,بوابة:رياضيات)2023-11-24T09:34:52Z<p>بوت:إضافة بوابة (بوابة:علم الحاسوب,بوابة:فلسفة,بوابة:رياضيات)</p>
<p><b>صفحة جديدة</b></p><div>{{بطاقة لغة برمجة}}<br />
<br />
'''البرولوغ''' (Prolog) هي لغة [[برمجة منطقية]].<ref>{{استشهاد بكتاب<br />
|عنوان=Computational Logic: Logic Programming and Beyond<br />
|الأول=Leon<br />
|الأخير=Sterling<br />
|سنة=2002<br />
|المجلد=2407<br />
|صفحات=17–26<br />
|doi=10.1007/3-540-45628-7_15<br />
|الفصل=Patterns for Prolog Programming<br />
|سلسلة=Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence<br />
|isbn=978-3-540-43959-2<br />
}}</ref><ref>{{استشهاد بكتاب | الأخير1 = Clocksin | الأول1 = William F. | الأخير2 = Mellish | الأول2 = Christopher S. | عنوان = Programming in Prolog | سنة = 2003 | ناشر = Springer-Verlag | مكان = Berlin ; New York | isbn = 978-3-540-00678-7 | صفحات = }}</ref><ref>[http://www.ai.sri.com/pubs/files/641.pdf "An abstract Prolog instruction set"]. Technical Note 309, [[معهد ستانفورد للأبحاث]], Menlo Park, CA, October 1983. {{Webarchive|url=https://web.archive.org/web/20160304210732/http://www.ai.sri.com/pubs/files/641.pdf |date=04 مارس 2016}}</ref> الاسم مأخوذ من [[اللغة الفرنسية|الفرنسية]] '''''pro'''grammation en '''log'''ique'' (برمجة المنطق)، تم اختراع اللغة بواسطة [[ألين كولميرايور]] حوالي العام [[1972]]. كانت محاولة لجعل [[لغة برمجة|لغة البرمجة]] قادرة على استخدام عبارات منطقية بدل أن تكون تعليمات محددة تلقن إلى [[حاسوب|الحاسوب]]. صممت اللغة أساسًا لتستخدم في عمل برامج [[معالجة اللغة الطبيعية|معالجة اللغات الطبيعية]].<br />
<br />
تستخدم لغة البرولوغ في العديد من برامج [[ذكاء اصطناعي|الذكاء الاصطناعي]] وبرامج [[معالجة اللغة الطبيعية|معالجة اللغات الطبيعية]]. عبارات وقواعد اللغة تعتبر بسيطة جداً وواضحة (يتم كتابة البرنامج بالكامل باستخدام الحقائق والقواعد). العديد من الباحثين الذين يقودون تطبيقات حديثة للبرولوغ التي جاءت نتيجة استخدام نسخات مختلفة من البرولوغ كنواة في مشاريع [[أنظمة حاسوب الجيل الخامس]] (fifth generation computer systems اختصارًا FGCS).<br />
<br />
== الحقائق Facts ==<br />
تختلف طريقة البرمجة في برولوغ عن اللغات التقليدية. في بورلوغ يتم كتابة الحقائق (Facts) والقواعد (Rules) في قاعدة بيانات، ثم يتم كتابة إستفسارت queries من قاعدة البيانات. الحقية عبارة عن سند (predicate) (الوحدة الأساسية للبرولوغ). يتكون السند من رأس (head) وعدد من الوسائط (arguments). مثال<br />
<div dir=ltr><br />
<br /><br />
cat(tom).<br />
</div><br />
في هذا المثال نقول ببساطة أن هناك توم 'tom' وهو قط 'cat'،بتعبير أدق 'cat' هو رأس (head) السند و'tom' هو وسيطة (argument). هنا عدد من الإستفسارات التي يمكن سؤالها بناء على هذه الحقيقة:<br />
<br />
هل توم قط (is tom a cat)؟<br />
<div dir=ltr><br />
<br /><br />
?- cat(tom). <br />
yes.<br />
</div><br />
ببساطة هنا نسأل إذا توم قط ويجيبنا برولوغ بنعم (yes).<br />
<br />
ما هي الأشياء التي هي قط (what things are cats)؟<br />
<div dir=ltr><br />
<br /><br />
?- cat(X). <br />
X = tom;<br />
non<br />
</div><br />
<br />
== القواعد Rules ==<br />
أن النوع الثاني من العبارت في برلوغ هي القواعد:<br />
<div dir=ltr><br />
<br /><br />
father(X,Y) :- parent(X,Y),male(X).<br />
</div><br />
== أنواع المعلومات Data types ==<br />
لا تحتوي لغة البرولوغ على أنواع معلومات (Data types) تقليدية كلغات البرمجة التقليدية الأخرى. ولكن على عناصر تركيبية (lexical elements).<br />
<br />
=== الذرات Atoms ===<br />
يعرف النص الثابت في برولوغ بمعنى الذرات Atoms. الذرة عبارة عن سلسلة من الحروف، الأرقام ورمز الشارحة-السفلية (_) (underscores) على أن يبدأ النص بحرف إنجليزي صغير (lower-case). عادة، إذا كان هناك رمز ليس بحرف أو رقم فأنه يوضع بين (علامة التنصيص الأحادية) (مثال '+' يعتبر ذرة، في حين + يعتبر [[معامل (برمجة)|معامل]])asxaxascsadcvsdcddddd<br />
<br />
=== الأرقام ===<br />
<br />
معظم نسخ البرلوغ لاتميز بين [[عدد صحيح|الأعداد الصحيحة]] و[[أعداد حقيقة|الأعداد الحقيقية]].<br />
<br />
=== المتغيرات Variables ===<br />
<br />
يعبر المتغيرات Variables عن نص يتكون من الحروف، الأرقام ورمز شرطة-السفلية (_) على أن يبدأ النص بحرف إنجليزي كبير (upper-case). على عكس اللغات القولية (imperative programming languages) في بيئة البرولوغ المتغير ليس مكان في الذاكرة (مستوعب) يمكن تخزين القيم فيه. تصرف المتغيرات يتبع النمط لإيجاد القيمة.<br />
<br />
== مراجع ==<br />
<br />
{{مراجع}}<br />
{{روابط شقيقة}}<br />
{{لغات برمجة}}<br />
{{معايير الأيزو}}<br />
{{معرفة محوسبة}}<br />
{{ضبط استنادي}}<br />
{{شريط بوابات|برمجة الحاسوب|رياضيات|علم الحاسوب|فلسفة|منطق}}<br />
<br />
[[تصنيف:علم الحاسوب في 1972]]<br />
[[تصنيف:لغات برمجة تعريفية]]<br />
[[تصنيف:لغات برمجة ديناميكية النمط]]<br />
[[تصنيف:لغات برمجة منطقية]]<br />
[[تصنيف:معايير الأيزو]]<br />
[[تصنيف:لغات برمجة أنشئت في 1972]]</div>عبد العزيز