Algebraic logic functional language
algebraic logic functional language
language
(alf) a language by rudolf opalla [email protected] 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. h-n-s and a. schwab].
(1992-10-08)
Read Also:
- Algebraic manipulation package
algebraic manipulation package mathematics, tool (amp) a symbolic mathematics program written in modula-2, seen on compuserve. (1994-10-19)
- Algebraic notation
noun (chess) the standard method of denoting the squares on the chessboard, by allotting a letter, a, b, c, up to h, to each of the files running up the board from white’s side, starting from the left, and a number to each of the ranks across the board, starting with white’s first rank historical […]
- Algebraic number
a of an algebraic equation with integral coefficients. 1 (def 10b). noun any number that is a root of a polynomial equation having rational coefficients such as √2 but not π compare transcendental number
- Algebraic operation
any of the mathematical operations of addition, subtraction, multiplication, division, raising to a power, or extraction of a root.
- Algebraic specification language
algebraic specification language 1. (asl) [“structured algebraic specifications: a kernel language”, m. wirsing, theor comput sci 42, pp.123-249, elsevier 1986]. 2. (asf) a language for equational specification of abstract data types. [“algebraic specification”, j.a. bergstra et al, a-w 1989]. (1995-12-13)