Αποστολή με SMS: A Higher-Order Extension of Prolog with Polymorphic Type Inference