Logic programming, functional programming, and inductive definitions

DOI10.1007/BFB0038699MaRDI QIDQ5053012zbMATH OpenOpenAlexFDO

Authors

Publication date 26 November 2022

Published in Extensions of Logic Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/cs/9301109

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17) Functional programming and lambda calculus (68N18)

Abstract: An attempt at unifying logic and functional programming is reported. As a starting point, we take the view that "logic programs" are not about logic but constitute inductive definitions of sets and relations. A skeletal language design based on these considerations is sketched and a prototype implementation discussed.

Recommendations

• scientific article; zbMATH DE number 3872643
• scientific article; zbMATH DE number 3945331
• Modelling the combination of functional and logic programming languages
• scientific article; zbMATH DE number 1688813
• scientific article; zbMATH DE number 4043306

Cited in

(13)

• Modelling the combination of functional and logic programming languages
• Program development schemata as derived rules
• A tight, practical integration of relations and functions.
• Kernel-LEAF: A logic plus functional language
• scientific article; zbMATH DE number 1688813 (Why is no real title available?)
• scientific article; zbMATH DE number 4191084 (Why is no real title available?)
• scientific article; zbMATH DE number 3872643 (Why is no real title available?)
• scientific article; zbMATH DE number 3945331 (Why is no real title available?)
• scientific article; zbMATH DE number 549955 (Why is no real title available?)
• scientific article; zbMATH DE number 1511970 (Why is no real title available?)
• Axiomatization of a functional logic language
• scientific article; zbMATH DE number 274905 (Why is no real title available?)
• Database query languages and functional logic programming

This page was built for publication: Logic programming, functional programming, and inductive definitions

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