3 ms·

Do you know of Mercury? It's Prolog with types, basically. https://mercurylang.org/ https://mercurylang.org/ The language is fantastic, but I think it's fair

by rvense 8y ago

Do you know of Mercury? It's Prolog with types, basically. https://mercurylang.org/ https://mercurylang.org/ The language is fantastic, but I think it's fair to say that the implementation and ecosystem leave some things to be desired.