scientific article; zbMATH DE number 4164127

MaRDI QIDQ3490935zbMATH OpenFDO

Authors Juan José Moreno-Navarro, M. Rodríguez Artalejo

Publication date 1989

zbMATH Keywords

functional programmingsemanticssyntaxlogic programmingBABEL

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of programming languages (68N15) Logic programming (68N17) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• Logic programming with functions and predicates: The language Babel
• scientific article; zbMATH DE number 986251
• scientific article; zbMATH DE number 3963172
• scientific article; zbMATH DE number 4043306
• scientific article; zbMATH DE number 1688813

Cited in

(11)

• FPL : Functional plus logic programming an integration of the FP and Prolog languages
• Core FOBS: A hybrid functional and object-oriented language
• Incremental constraint satisfaction for equational logic programming
• Completeness results for basic narrowing
• Dynamic detection of determinism in functional logic languages
• Logic programming with functions and predicates: The language Babel
• Relating the implementation techniques of functional and functional logic languages
• Lazy narrowing in a graph machine
• scientific article; zbMATH DE number 3963172 (Why is no real title available?)
• A proposal for disequality constraints in Curry
• scientific article; zbMATH DE number 4043306 (Why is no real title available?)

Describes a project that uses

Uses Software

• BABEL

This page was built for publication:

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