è Curry un linguaggio di transizione da FP a Programmazione logica (da Haskell a Prolog), come Scala è un linguaggio di transizione dall'imperativo a FP (Java to Haskell)?
Ho difficoltà a trovare un'immagine nella mia testa per determinare se aggiungere funzionalità di calcolo pigro funzionale a un sistema di logica / algebra dichiarativo come i linguaggi della famiglia Prolog, serve solo allo scopo di facilitare la migrazione, rendendo gli algoritmi e gli idi di FP direttamente trasferibili, oppure aggiunge qualcosa di paradigmatico utile al paradigma di programmazione e di risoluzione della configurazione già espressiva?