Logic Programming, Functional Programming, and Inductive Definitions

Details Logic Programming, Functional Programming, and Inductive Definitions Logic Programming, Functional Programming, and Inductive Definitions

2001-03-29

arxiv.org/abs/cs/9301109v1

published in P. Schroeder-Heister (editor), Extensions of Logic Programming (Springer, 1991), 283-310

Computer Science

Logic in Computer Science

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Logic Programming, Functional Programming, and Inductive Definitions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Logic Programming, Functional Programming, and Inductive Definitions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Logic Programming, Functional Programming, and Inductive Definitions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-418183