代數邏輯函數式編程語言，又叫做alf，係一隻結合了函數式同埋邏輯編程技術嘅編程語言。佢嘅基礎係具有相等性嘅horn子句邏輯，由用喺邏輯編程嘅謂詞同埋horn子句仲有用喺函數式編程嘅函數同埋方程組成。