| 释义 |
SFLV
SFLVUnifies logic and functional programming. SASL+LV withunification moved from actual/formal parameter matching toequational clauses. "Static Analysis of Functional Programswith Logical Variables", G. Lindstrom in Programming LanguagesImplementation and Logic Programming, P. Deransart et al eds,LNCS 348, Springer 1988.SFLV
| Acronym | Definition |
|---|
| SFLV➣Sympathy for Lady Vengeance (Korean film) |
|