# algebraic logic functional language meaning

[Computer]

<

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.

<

*language*> (ALF) A language by Rudolf Opalla 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.

- algebraic language: Noun: algebraic la ...
- functional language: [Computer]<lang ...
- algebraic specification language: [Computer]1. <l ...

## Related Words

- algebraic compiler and translator meaning
- algebraic data type meaning
- algebraic data types meaning
- algebraic interpretive dialogue meaning
- algebraic language meaning
- algebraic manipulation package meaning
- algebraic number meaning
- algebraic operation meaning
- algebraic specification meaning
- algebraic specification language meaning