Title: Towards a broader basis for logic programming
Subjects: Computer programming, Logic programming