The (Lazy) Functional Side of Logic Programming

Details The (Lazy) Functional Side of Logic Programming The (Lazy) Functional Side of Logic Programming

2000-03-20

arxiv.org/abs/cs/0003070v1

Computer Science

Programming Languages

23 pages

Scientific paper

The possibility of translating logic programs into functional ones has long been a subject of investigation. Common to the many approaches is that the original logic program, in order to be translated, needs to be well-moded and this has led to the common understanding that these programs can be considered to be the ``functional part'' of logic programs. As a consequence of this it has become widely accepted that ``complex'' logical variables, the possibility of a dynamic selection rule, and general properties of non-well-moded programs are exclusive features of logic programs. This is not quite true, as some of these features are naturally found in lazy functional languages. We readdress the old question of what features are exclusive to the logic programming paradigm by defining a simple translation applicable to a wider range of logic programs, and demonstrate that the current circumscription is unreasonably restrictive.

Affiliated with

Also associated with

No associations

Rating

The (Lazy) Functional Side of Logic Programming 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 The (Lazy) Functional Side of Logic Programming, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The (Lazy) Functional Side of Logic Programming will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-392481