BABEL swMATH ID: 3018 Software Authors: Mario Rodriguez-Artalejo Description: Logic programming with functions and predicates: The language BABEL. We investigate the experimental programming language BABEL, designed to achieve integration of functional programming (as embodied in HOPE, Standard, ML, or MIRANDA) and logic programming (as embodied in PROLOG) in a simple, flexible, and mathematically well-bounded way. The language relies on a constructor discipline, well suited to accommodate PROLOG terms and HOPE-like patterns. From the syntactical point of view, BABEL combines pure PROLOG with a first order functional notation. On the other side, the language uses narrowing as the basis of a lazy reduction semantics which embodies both rewriting and SLD resolution and supports computation with potentially infinite data structures. There is also a declarative semantics, based on Scott domains, which provides a notion of least Herbrand model for BABEL programs. We develop both semantics and prove the existence of least Herbrand models, as well as a soundness result for the reduction semantics w.r.t. the declarative one. We also sketch a completeness result for the reduction semantics and illustrate the features of the language through some programming examples Homepage: http://www.mathematik.uni-marburg.de/~loogen/babel.html Keywords: programming language BABEL; functional programming; logic programming; narrowing; lazy reduction semantics; declarative semantics; Scott domains; least Herbrand model; completeness Related Software: Kernel-LEAF; TOY; Curry; ECCE; PAKCS; Miranda; Mercury; Oz; Maude; Haskell; AProVE; ML; SICStus; TeaBag; ObjectCurry; ELAN; DiSCiPl; GHC; Kima; QuickCheck Cited in: 72 Documents Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Logic programming with functions and predicates: The language BABEL. Zbl 0754.68031Moreno-Navarro, Juan José; Rodríguez-Artalejo, Mario 1992 all top 5 Cited by 77 Authors 13 Vidal, Germán 12 Alpuente, María 10 Falaschi, Moreno 10 Hanus, Michael 8 Rodríguez-Artalejo, Mario 6 Albert, Elvira 6 Antoy, Sergio 4 Loogen, Rita 4 Lucas, Salvador 4 Moreno-Navarro, Juan José 3 Becerra-Terón, Antonio 3 Faßbender, Heinz 3 Iranzo, Pascual Julián 3 López-Fraguas, Francisco Javier 3 Middeldorp, Aart 3 Silva, Josep 2 Almendros-Jiménez, Jesús Manuel 2 Arenas-Sánchez, Puri 2 Ballis, Demis 2 Correa, Francisco José 2 Escobar, Santiago 2 Gonzalez-Moreno, Juan Carlos 2 Hortala-Gonzalez, Maria Teresa 2 Ida, Tetsuo 2 Kuchen, Herbert 2 Levi, Giorgio 2 Limet, Sébastien 2 Mariño-Carballo, Julio 2 Moreno, Ginés 2 Ramos, J. Guadalupe 2 Réty, Pierre 2 Suzuki, Taro 2 Winkler, Stephan M. 1 Abramov, Sergeĭ Aleksandrovich 1 Alemandros-Jiménez, Jesús M. 1 Arroyo, Gustavo 1 Boley, Harold 1 Bossi, Annalisa 1 Boye, Johan 1 Caballero, Rafael E. 1 Cabeza, Daniel 1 Casas, Amadeo 1 Chakravarty, Manuel M. T. 1 Cocco, Nicoletta 1 Correa, Franciso 1 Craig, Stephen-John 1 Fabris, Maria Angelica 1 Finkelstein, Stacy E. 1 Freyd, Peter J. 1 Gabbrielli, Maurizio 1 Gallego Arias, Emilio Jesús 1 Glück, Robert 1 Grabowski, Jan 1 Gramlich, Bernhard 1 Hamoen, Erik 1 Hans, Werner 1 Hermenegildo, Manuel V. 1 Hofstedt, Petra 1 Huch, Frank 1 Julián, Pascual 1 Klimov, Yuri 1 Lescanne, Pierre 1 Leuschel, Michael 1 Lipton, James B. 1 Lock, Hendrik C. R. 1 Maneth, Sebastian 1 Manzo, Ferdinando 1 Massey, Bart C. 1 Nishida, Naoki 1 Oliver, Javier 1 Peltier, Nicolas 1 Pepper, Peter 1 Prehofer, Christian 1 Rey Poza, José María 1 Villamizar Lamus, Christian 1 Vogler, Heiko 1 Wechler, Wolfgang all top 5 Cited in 17 Serials 5 Theoretical Computer Science 5 The Journal of Functional and Logic Programming 4 The Journal of Logic Programming 4 Theory and Practice of Logic Programming 3 Journal of Symbolic Computation 3 New Generation Computing 2 Applicable Algebra in Engineering, Communication and Computing 1 Information Processing Letters 1 Computer Languages 1 Formal Aspects of Computing 1 AI Communications 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 RIMS Kokyuroku 1 Higher-Order and Symbolic Computation 1 Lecture Notes in Computer Science 1 Mathematical Research Cited in 3 Fields 72 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) Citations by Year