Title: Logic Programming over Polymorphically Order-Sorted Types
Subjects: Logic, symbolic and mathematical