Word:

Algebraic Logic Functional language

(language)Algebraic Logic Functional language - (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.

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
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home - Privacy Policy