Try Our Apps


Challenge: Tongue Twisters

algebraic logic functional language

algebraic logic functional language in Technology
(ALF) A language by Rudolf Opalla which combines functional programming and logic programming techniques.
ALF is based on Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming. Any functional expression can be used in a goal literal and arbitrary predicates can occur in conditions of equations. ALF uses narrowing and rewriting.
ALF includes a compiler to Warren Abstract Machine code and run-time support.
["The Implementation of the Functional-Logic Language ALF", M. Hanus and A. Schwab].
The Free On-line Dictionary of Computing, © Denis Howe 2010
Cite This Source

Word of the Day

Word Value for algebraic

Scrabble Words With Friends

Nearby words for algebraic logic functional language