Title: Integration of declarative paradigms
Subjects: Logic programming