tool: alf (Algebraic Logic Functional programming language)

---

Language:	ALF [prolog variant]
Version:	?
Parts:	runtime, compiler(Warren Abstract Machine)
Author:	Rudolf Opalla <opalla@julien.informatik.uni-dortmund.de>
Location:	ftp://ftp.germany.eu.netpub/programming/languages/LogicFunctional
Description:	ALF is a language which combines functional and logic programming techniques. The foundation of ALF is Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming. Since ALF is an integration of both programming paradigms, any functional expression can be used in a goal literal and arbitrary predicates can occur in conditions of equations.
Updated:	October 8th, 1992

category: logic programming languages summary, or expanded.