代數邏輯函數式編程語言

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