Logic programming with functions and predicates: The language Babel

DOI10.1016/0743-1066(92)90024-WzbMath0754.68031OpenAlexW2053719172MaRDI QIDQ3992229

Juan José Moreno-Navarro, Mario Rodríguez Artalejo

Publication date: 13 August 1992

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(92)90024-w

zbMATH Keywords

completenesslogic programmingfunctional programmingnarrowingdeclarative semanticsScott domainsleast Herbrand modellazy reduction semanticsprogramming language BABEL

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (26)

Similarity-Based Equality with Lazy Evaluation ⋮ Rules + strategies for transforming lazy functional logic programs ⋮ Level-confluence of conditional rewrite systems with extra variables in right-hand sides ⋮ Implementation of a UU-algorithm for primitive recursive tree functions ⋮ Ensuring the quasi-termination of needed narrowing computations ⋮ Incremental constraint satisfaction for equational logic programming ⋮ Database query languages and functional logic programming ⋮ A Debugging Scheme for Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Acción Integrada Hispano-Italiana HI2000-0161, Acción Integrada Hispano-Alemana HA2001-0059 and by Generalitat Valenciana under grant GV01-424. ⋮ Improving the Efficiency of Non-Deterministic Computations1 1Supported in part by NSF grants INT-9981317 and CCR-0110496 and by the Spanish Knowledge Society Foundation, the Spanish Research Funding Agency (CICYT) TIC 2001-2705-C03-01, by Acción Integrade Hispano-Italiana HI2000-0161, and the Valencian Research Council under grant GV01-424. ⋮ An integrated framework for the diagnosis and correction of rule-based programs ⋮ Lazy narrowing in a graph machine ⋮ A new framework for declarative programming ⋮ Operational semantics for declarative multi-paradigm languages ⋮ Evaluation strategies for functional logic programming ⋮ Dynamic detection of determinism in functional logic languages ⋮ An implementation of syntax directed functional programming on nested- stack machines ⋮ Relating the implementation techniques of functional and functional logic languages ⋮ Functional Logic Programming: From Theory to Curry ⋮ Unnamed Item ⋮ Programming with narrowing: a tutorial ⋮ Termination of narrowing via termination of rewriting ⋮ The narrowing-driven approach to functional logic program specialization ⋮ BABEL ⋮ Declarative Debugging of Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Accóon Integrada Hispano-Italiana HI2000-0161 and by Generalitat Valenciana under grant GV01-424. ⋮ On-demand strategy annotations revisited: an improved on-demand evaluation strategy ⋮ Higher-order narrowing with definitional trees

Uses Software

• Miranda

This page was built for publication: Logic programming with functions and predicates: The language Babel