Title: A polymorphic type system for Prolog
Subjects: Prolog (Computer program language)