Title: Algebraic and Logic Programming
Subjects: Logic, symbolic and mathematical