Do you know of Mercury? It's Prolog with types, basically.
The language is fantastic, but I think it's fair to say that the implementation and ecosystem leave some things to be desired.
The language is fantastic, but I think it's fair to say that the implementation and ecosystem leave some things to be desired.
I like Haskell just fine, it's an excellent language, but my heart belongs to Prolog.