لغة البرمجة Algebraic Logic Functional (ALF) هي لغة برمجة تجمع بين تقنيات البرمجة الوظيفية والمنطقية. تأسست على أساس منطق Horn clause مع المساواة، والتي تتألف من العبارات الدالة وHorn clauses للبرمجة المنطقية، والدوال والمعادلات للبرمجة الوظيفية. تم تصميم ALF لتكون دمجًا حقيقيًا لكل من النماذج البرمجية، وبالتالي يمكن استخدام أي تعبير وظيفي في عبارة هدفية ويمكن أن تظهر العبارات الدالة في شروط المعادلات بشكل تعسفي.
يستند الجانب التشغيلي لـ ALF على قاعدة قاعدة القاعدة لحل العبارات وتضييق العبارات لتقييم التعابير الوظيفية. ومن أجل تقليل عدد خطوات التضييق الممكنة، يتم استخدام استراتيجية التضييق الأساسية الأقصى الأيسر التي يُزعم أنه يمكن تنفيذها بكفاءة. تتم تبسيط المصطلحات عن طريق إعادة الكتابة قبل تطبيق خطوة التضييق ويتم رفض المعادلات إذا كانت الجهتان تحتويان على بناة مختلفة في الجزء العلوي. يفترض أن إعادة الكتابة والرفض تؤدي إلى تقليل كبير في شجرة البحث وتنتج جانب تشغيلي أكثر كفاءة من استراتيجية القرار في برولوج. بالمثل لبرولوج، تستخدم ALF استراتيجية العودة إلى الوراء المتوافقة مع بحث أول بالعمق في شجرة الاشتقاق.
تم تصميم نظام ALF ليكون تنفيذًا فعالًا للمزيج بين القاعدة، والتضييق، وإعادة الكتابة، والرفض. يتم ترجمة برامج ALF إلى تعليمات لجهاز مجرد. يستند الجهاز المجرد على آلية Warren Abstract Machine (WAM) مع العديد من التمديدات لتنفيذ التضييق وإعادة الكتابة. في التنفيذ الحالي لـ ALF، تتم تنفيذ برامج هذا الجهاز المجرد بواسطة محاكي مكتوب بلغة C. في مستودع الذكاء الاصطناعي في جامعة كارنيجي ميلون، يتم تضمين ALF كلغة برمجة ذكاء اصطناعي، على وجه الخصوص كتنفيذ Prolog للغة برمجة وظيفية/منطقية. دليل المستخدم الذي يصف اللغة واستخدام النظام متاح. يعمل نظام ALF تحت Unix وهو مجاني.
يمكنك العثور على مزيد من المعلومات حول لغة البرمجة ALF عبر الرابط التالي: Wikipedia – Algebraic Logic Functional.