Today I read a published paper titled “Logic Programming, Functional Programming, and Inductive Definitions”
And now I get to learn a new language called Haskell. And a new concept called “functional programming.” Though I am not too sure how applicable a piece of code is that has “no side effects.” I am not even sure what class of problems I can solve with Haskell. It will be an interesting adventure.
The abstract is:
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.