زبان برنامه نویسی تابعی منطقی جبری (به انگلیسی: Algebraic Logic Functional programming language) که به صورت مخفف «ALF» نیز شناخته می شود زبان برنامه نویسی است که تکنیک های برنامه نویسی تابعی و برنامه نویسی منطقی را ترکیب کرده است. منبع ایجاد آن منطق عبارت هورن با تساوی است که از گزاره و قضایای هورن برای برنامه نویسی منطقی و توابع و معادلات برای برنامه نویسی تابعی تشکیل شده است.Publications of Mich...
