(language) | Algebraic Logic Functional language - (ALF) A language by Rudolf Opalla
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. ftp://ftp.germany.eu.net/pub/programming/languages/LogicFunctional. ["The Implementation of the Functional-Logic Language ALF", M. Hanus and A. Schwab]. |

Browse

algarobilla

Algarot

Algarovilla

algarroba

algarroba bean

algarrobilla

Algate

Algazel

Algebra

Algebra of Communicating Processes

Algebraic

Algebraic curve

algebraic data type

Algebraic function

Algebraic Interpretive Dialogue

algebraic language

**-- Algebraic Logic Functional language --**

Algebraic Manipulation Package

algebraic number

Algebraic Specification Language

algebraic structure

Algebraic sum

algebraical

Algebraically

Algebraist

Algebraize

Alger

Algeria

Algerian

Algerian capital

Algerian centime

Algerian dinar

Algerian monetary unit

Algarot

Algarovilla

algarroba

algarroba bean

algarrobilla

Algate

Algazel

Algebra

Algebra of Communicating Processes

Algebraic

Algebraic curve

algebraic data type

Algebraic function

Algebraic Interpretive Dialogue

algebraic language

Algebraic Manipulation Package

algebraic number

Algebraic Specification Language

algebraic structure

Algebraic sum

algebraical

Algebraically

Algebraist

Algebraize

Alger

Algeria

Algerian

Algerian capital

Algerian centime

Algerian dinar

Algerian monetary unit