This is reminiscent of an argument I had with the Mercury Prolog guys regarding "typing" in logic programming. My point boils down to this: Any predicate can

This is reminiscent of an argument I had with the Mercury Prolog guys regarding "typing" in logic programming. My point boils down to this: Any predicate can be considered a constraint. Types are constraints. While it may be reasonable to have syntactic sugars for type declarations that, at compile time, are transformed into predicates, it is unreasonable to lard a completely different kind of semantics on top of an already adequate semantic such as first order logic. https://groups.google.com/g/comp.lang.prolog/c/8yJxmY-jbG0/m/fMxe1Vov09wJ https://groups.google.com/g/comp.lang.prolog/c/8yJxmY-jbG0/m...