Bahasa ini direka dengan tujuan untuk "menggabungkan ciri-ciri yang paling penting dalam bahasa fungsian dan logik ... [yang merupakan paradigma pengaturcaraan deklaratif yang paling penting." Kod kari sama ada ditafsirkan atau dikumpulkan kepada bahasa Prolog atau Java.
"Hai dunia!" dalam kari
main = cetak ("Hello, World!")
Haskell, Logik, Paradigma, Pengaturcaraan, Prolog