Jörg Zimmermann Polymorphe Typinferenz für Prolog. 91-100 1995 WLP db/conf/wlp/wlp95.html#Zimmermann95