BABEL(ID:1537/bab004)

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: "BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing" pp223-232 view details
          in ALP 1988 view details
  • H. Kuchen et al, "Graph-Based Implementation of a Functional Logic Language", pp271-290. view details
          in Proc ESOP 90, LNCS 432, Springer 1990 view details
  • Moreno-Navarro et al, "Logic Programming with Functions and Predicates: The Language BABEL" view details
          in Journal of Logic Programming 12(3) Feb 1992 view details
  • 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 view details
          in New Generation Computing 14(4) 1996 view details
    Resources