كري: مزيج مثالي بين البرمجة الوظيفية والمنطقية

كري هي لغة برمجة إعلانية متعددة النماذج تجمع بشكل سلس بين ميزات البرمجة الوظيفية (التعبيرات المتداخلة، الدوال من الرتبة الأعلى، الكتابة القوية، التقييم الكسول) والبرمجة المنطقية (عدم الحتمية، البحث المدمج، المتغيرات الحرة، هياكل البيانات الجزئية). بالمقارنة مع لغات البرمجة أحادية النموذج، توفر كري ميزات إضافية، مثل التقييم الأمثل للحسابات المنطقية، ومطابقة الأنماط المرنة وغير الحتمية مع الدوال التي يحددها المستخدم.