It isn't descended from Prolog either -- I presumed the author was making a point about conceptually similar flavours of type systems, semantics etc. and Haskel

It isn't descended from Prolog either -- I presumed the author was making a point about conceptually similar flavours of type systems, semantics etc. and Haskell's position as a typed Lambda calculus.