H ? « ‹ ← → › »

Language peer sets for SFLV:
Designed 1988 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

SFLV(ID:1434/sfl002)

alternate simple view
Designed 1988
Published: 1988

Unifies logic and functional programming. SASL+LV with unification moved from actual/formal parameter matching to equational clauses.

Structures:
References:
  • Lindstrom, G. (1988) Lindstrom, G. "Static Analysis of Functional Programs with Logical Variables"
          in Programming Languages Implementation and Logic Pro (1988) Programming Languages Implementation and Logic Programming, P. Deransart et al eds, LNCS 348, Springer 1988
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder