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.
1. surface feet per minute.
SFMR stepped frequency microwave radiometer
SFN Society for Neuroscience
abbreviation 1. Serious Fraud Office: the department of the British government which investigates cases of serious financial fraud SFO 1. San Francisco International Airport 2. subfornical organ