Ne tür sorunlar Haskell göre Giriş daha iyi çözülür? Bu iki dil arasındaki temel farklar nelerdir?

EKLEDİ: Giriş işlevselliği taklit edebilen Haskell bir kütüphane (mantıklı bir çözücü gibi) var mı?

Eğer var değil mi, bir çeşitli şekillerde kurmak mümkün olmalıdır. mantık kütüphane ile ilgili soru:Entrikacı Gerekçelimantıksal akıl yürütme Planı içine yetenekleri oluşturur. Bölüm 33-34DÜZProlog Prolog ve uygulanması konularında görüşülmesi. Bu yazarlar Düzeni ve Giriş arasında köprü kuruyor. PLT Scheme yaratıcıları kendi dillerini Haskell tembel değerlendirme sonrasında Lazy Scheme bir özelliği var. Oleg Kiselyov LogicT kağıt her zamanki gibi harika bir çok dilde mümkün olanın sınırlarını zorluyor. Ayrıca Haskell Wiki logic programming example var.

• Daniel P. Friedman, William E. Byrd ve Oleg tarafından The Reasoned Schemer Kiselyov
• Üyeliği yapıyor Baldwin tarafından Programming Languages: Application and Interpretation
• LogicT - backtracking monad transformer with fair operations and pruning
• Logic programming on Haskell Wiki