I spent some time before making Datalogs that translated into SQL. https://www.philipzucker.com/tiny-sqlite-datalog/| Hey There Buddo!
A detailed explanation of why I chose OCaml as the ‘default’ programming language for every project.| xvw.lol
The index page for the portion of the web site related to OCaml, SML and MetaOCaml| okmij.org