Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
Jump to user comments
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.
Comments and discussion on the word "SFLV"