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.
Nearby terms:
SFD-ALGOL « SFFA « SFL « SFLV » sFTP » sg »
SGCP
|
