Microsoft partner awards 2025 nominations. Horn clauses in logic programming. Postman pat movie cast. 台灣pay遊日本.