تم تصميم اللغة بقصد "الجمع بين أهم ميزات اللغات الوظيفية والمنطقية ... [والتي تعد] نماذج البرمجة التصورية الأكثر أهمية." يتم ترجمة رمز الكاري أو ترجمته إلى لغات Prolog أو Java.
"مرحبا بالعالم!" في الكاري
main = print ("مرحبًا ، العالم!")
هاسكل ، المنطق ، النموذج ، مصطلحات البرمجة ، Prolog