【代數邏輯函數語言】
英語翻譯：algebraiclogicfunctionallanguage
【辭書名稱】資訊與通信術語辭典
為一合併函數程式設計和以Horn子句邏輯為基礎的邏輯程式設計技術而成的一種程式設計語言。