slovodefinícia
alf
(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)
alf
(vera)
ALF
Accelerator Library and Framework (IBM)
podobné slovodefinícia
behalf
(mass)
behalf
- podpora, prospech
half
(mass)
half
- polovičný
half board
(mass)
half board
- polopenzia
halfbaked
(mass)
half-baked
- nedopečený
halfbred
(mass)
half-bred
- kríženec, miešanec
halfbreed
(mass)
half-breed
- kríženec, miešanec
halfbrother
(mass)
half-brother
- nevlastný brat
halfcentury
(mass)
half-century
- 5O rokov
halfclothed
(mass)
half-clothed
- neadekvátne oblečený
halfcock
(mass)
half-cock
- neuvážený
halfcocked
(mass)
half-cocked
- neuvážený
halfduplex
(mass)
half-duplex
- poloduplexný
halfhearted
(mass)
half-hearted
- nesmelý, polovičatý, váhavý, bez nadšenia
halfheartedly
(mass)
half-heartedly
- nesmelo
halfhour
(mass)
half-hour
- polhodina
halfhourly
(mass)
half-hourly
- polhodinový, polhodinovo
halfinch
(mass)
half-inch
- polpalec
halfmoon
(mass)
half-moon
- polmesiac
halftime
(mass)
half-time
- polčas
halfway
(mass)
halfway
- uprostred
halfwit
(mass)
half-wit
- hlupák, idiot
halfwitted
(mass)
half-witted
- prihlúply, slabomyseľný
halfyearly
(mass)
half-yearly
- polročne
malformed
(mass)
malformed
- zdeformovaný, znetvorený
malfunction
(mass)
malfunction
- poškodenie, porucha, zlyhať
on behalf of
(mass)
on behalf of
- menom
on ones behalf
(mass)
on one's behalf
- menom
alfa
(msas)
alfa
- alpha
alfanumerický
(msas)
alfanumerický
- alphanumeric
alfa
(msasasci)
alfa
- alpha
alfanumericky
(msasasci)
alfanumericky
- alphanumeric