Skorzystaj z wyszukiwarki lub indeksu alfabetycznego.
Przykłady: pci, /dev/null, functional unit, embedded system, pseudo-tty, nfs.
1 definition found
From The Free On-line Dictionary of Computing (05 January 2017) [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)