scientific article; zbMATH DE number 4164127

zbMATH Open0708.68015MaRDI QIDQ3490935FDOQ3490935

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

Publication date: 1989

Title of this publication is not available (Why is that?)

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

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)

Cited In (11)

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

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)