A Higher-Order Extension of Prolog with Polymorphic Type Inference - Κουκουτός, Εμμανουήλ Χ. (N/A, 1970)