Title: On the integration of logic programming and functional programming
Subjects: Computer science