H ? « ‹ ← → › »

Language peer sets for BABEL:
Portugal↑
Portugal/1990↑
Designed 1990 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

BABEL(ID:1537/bab004)

alternate simple view
Country: Portugal
Designed 1990
Published: 1990

Higher-order functional plus first-order logic language.

BABEL is a functional-logical language

Mario Rodriguez Artalejo (Universidad Complutense de Madrid) and Juan Jose Moreno Navarro (Universidad Politecnica de Madrid) 1988

In BABEL a uniform integration of the functional and the logical programming style is reached. The core idea consists of generalizing the analysis mechanism of functional languages as for the parameter transfer the Unifikation well-known from the logic languages is used.

Structures:
References:
  • Juan José Moreno-Navarro, Mario Rodríguez-Artalejo (1988) Juan José Moreno-Navarro, Mario Rodríguez-Artalejo: "BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing" pp223-232
          in (1988) ALP 1988
  • H. Kuchen et al, (1990) H. Kuchen et al, "Graph-Based Implementation of a Functional Logic Language", pp271-290.
          in (1990) Proc ESOP 90, LNCS 432, Springer 1990
  • Moreno-Navarro et al, (1992) Moreno-Navarro et al, "Logic Programming with Functions and Predicates: The Language BABEL"
          in (1992) Journal of Logic Programming 12(3) Feb 1992
  • Herbert Kuchen, Rita Loogen, Juan José Moreno-Nava (1996) Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo: "The Functional Logic Language BABEL and Its Implementation on a Graph Machine" pp391-427
          in (1996) New Generation Computing 14(4) 1996
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder