<<
The Functional Side of Logic Programming
Massimo Marchiori
Department of Pure and Applied Mathematics
UniversityofPadova
Via Belzoni Padova Italy
max hilbert math unipd it
between functional and logic programming its outcome was Abstract
a transformation from a lo cal class of logic programs to
In this pap er we study the relationships b etween logic pro
functional programs that is sound that is informally ev
gramming and functional programming