ALGEBRAIC LOGIC FUNCTIONAL LANGUAGE
\ˌald͡ʒɪbɹˈe͡ɪɪk lˈɒd͡ʒɪk fˈʌŋkʃənə͡l lˈaŋɡwɪd͡ʒ], \ˌaldʒɪbɹˈeɪɪk lˈɒdʒɪk fˈʌŋkʃənəl lˈaŋɡwɪdʒ], \ˌa_l_dʒ_ɪ_b_ɹ_ˈeɪ_ɪ_k l_ˈɒ_dʒ_ɪ_k f_ˈʌ_ŋ_k_ʃ_ə_n_əl l_ˈa_ŋ_ɡ_w_ɪ_dʒ]\
Sort: Oldest first
-
(ALF) A language by Rudolf Opalla which combinesfunctional programming and logic programming techniques.ALF is based on Horn clause logic with equality whichconsists of predicates and Horn clauses for logicprogramming, and functions and equations for functionalprogramming. Any functional expression can be used in agoal literal and arbitrary predicates can occur inconditions of equations. ALF uses narrowing andrewriting.ALF includes a compiler to Warren Abstract Machine code andrun-time support. (ftp://ftp.germany.eu.net/pub/programming/languages/LogicFunctional).["The Implementation of the Functional-Logic Language ALF",M. Hanus and A. Schwab].
By Denis Howe
Word of the day
hydromorphic
- [Greek] Structurally adapted to an aquatic environment, as organs of water plants.