Way to cut to the conclusion:) I do think datalog semantics composes way nicer than prolog though. I think some of the type class stuff was formalized in the

Way to cut to the conclusion:) I do think datalog semantics composes way nicer than prolog though. I think some of the type class stuff was formalized in the papers on HM(X) , though the combination of extensions in this post hasn't. But perhaps should be on the table for formalization.