FPL : Functional plus logic programming an integration of the FP and Prolog languages

DOI10.1007/3-540-54317-1_98MaRDI QIDQ5881284zbMATH OpenOpenAlexFDO

Authors

Publication date 9 March 2023

Published in Conditional and Typed Rewriting Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-54317-1_98

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17) Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 4043306
• Modelling the combination of functional and logic programming languages
• Functional Logic Programming: From Theory to Curry
• scientific article; zbMATH DE number 4164127
• scientific article; zbMATH DE number 986251

Cites work

• Can programming be liberated from the von Neumann style?
• Equality, types, modules, and (why not?) generics for logic programming
• scientific article; zbMATH DE number 3945331 (Why is no real title available?)
• scientific article; zbMATH DE number 4090779 (Why is no real title available?)

Cited in

(5)

• Kernel-LEAF: A logic plus functional language
• Logic programming with functions and predicates: The language Babel
• scientific article; zbMATH DE number 512890 (Why is no real title available?)
• scientific article; zbMATH DE number 1511970 (Why is no real title available?)
• Singular and plural functions for functional logic programming

This page was built for publication: FPL : Functional plus logic programming an integration of the FP and Prolog languages

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