Logic Programming, Functional Programming, and Inductive Definitions
classification
💻 cs.LO
keywords
logicprogrammingdefinitionsfunctionalinductiveattemptconsiderationsconstitute
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.