slovodefinícia
algebraic logic functional language
(foldoc)		Algebraic Logic Functional language
ALF

(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].

(1992-10-08)
podobné slovodefinícia

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4