Logic programming with functions and predicates: The language Babel

DOI10.1016/0743-1066(92)90024-WMaRDI QIDQ3992229zbMATH OpenOpenAlexFDO

Authors Juan José Moreno-Navarro, M. 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

completenessdeclarative semanticsfunctional programminglazy reduction semanticsleast Herbrand modellogic programmingnarrowingprogramming language BABELScott domains

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4164127
• scientific article; zbMATH DE number 986251
• scientific article; zbMATH DE number 4176423
• scientific article; zbMATH DE number 4043306
• FPL : Functional plus logic programming an integration of the FP and Prolog languages

Cited in

(29)

• On-demand strategy annotations revisited: an improved on-demand evaluation strategy
• An implementation of syntax directed functional programming on nested- stack machines
• Incremental constraint satisfaction for equational logic programming
• A new framework for declarative programming
• BABEL
• Rules + strategies for transforming lazy functional logic programs
• Operational semantics for declarative multi-paradigm languages
• Evaluation strategies for functional logic programming
• Kernel-LEAF: A logic plus functional language
• Declarative debugging of functional logic programs
• A debugging scheme for functional logic programs
• Improving the efficiency of non-deterministic computations
• A safe relational calculus for functional logic deductive databases
• scientific article; zbMATH DE number 986251 (Why is no real title available?)
• Similarity-Based Equality with Lazy Evaluation
• scientific article; zbMATH DE number 4164127 (Why is no real title available?)
• Functional Logic Programming: From Theory to Curry
• Level-confluence of conditional rewrite systems with extra variables in right-hand sides
• Higher-order narrowing with definitional trees
• Implementation of a UU-algorithm for primitive recursive tree functions
• Lazy narrowing in a graph machine
• The narrowing-driven approach to functional logic program specialization
• An integrated framework for the diagnosis and correction of rule-based programs
• Dynamic detection of determinism in functional logic languages
• Relating the implementation techniques of functional and functional logic languages
• Ensuring the quasi-termination of needed narrowing computations
• Database query languages and functional logic programming
• Programming with narrowing: a tutorial
• Termination of narrowing via termination of rewriting

Describes a project that uses

Uses Software

• Miranda

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3992229)