H ? « ‹ ← → › »

Language peer sets for FUNLOG:
Designed 1986 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

FUNLOG(ID:2652/fun004)

alternate simple view
Designed 1986
Published: 1986

Functional programming plus unification. Lazy in the sense that expressions are reduced only if they are not unifiable.

Structures:
References:
  • Subrahmanyam P.A. et al, (1986) Subrahmanyam P.A. et al, "FUNLOG: A Computational Model Integrating Logic Programming and Functional Programming}
          in DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Prog (1986) DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Programming: Functions, Relations, and Equations. Prentice-Hall, 1986
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder