Therein I learned that "Haskell is a dynamically-typed, interpreted language". I've seen it said that Haskell type class resolution is essentially prolog, but

Therein I learned that "Haskell is a dynamically-typed, interpreted language". I've seen it said that Haskell type class resolution is essentially prolog, but this drives the point home well.