[fa] زبان برنامه‌نویسی تابعی منطقی جبری

[zh-yue] 代數邏輯函數式編程語言