FWIW, I'm about to try integrating Elm and Tau Prolog (Prolog-in-JavaScript). I have a toy language that uses Elm for the interpreter and Prolog for the type i

FWIW, I'm about to try integrating Elm and Tau Prolog (Prolog-in-JavaScript). I have a toy language that uses Elm for the interpreter and Prolog for the type inference and I want to make one of those nifty "try this language right in the browser" things. The "relations" in Prolog and SQL ("relational model") are the same thing, and Prolog is arguably "nicer" than SQL? https://en.wikipedia.org/wiki/Relational_model https://en.wikipedia.org/wiki/Relational_model