slovodefinícia
sflv
(foldoc)		SFLV

Unifies logic and functional programming. SASL+LV with
unification moved from actual/formal parameter matching to
equational clauses. "Static Analysis of Functional Programs
with Logical Variables", G. Lindstrom in Programming Languages
Implementation and Logic Programming, P. Deransart et al eds,
LNCS 348, Springer 1988.
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