Haven't seen that name in a while! I took Compilers from Neng-Fa Zhou (one of the Picat authors) at Brooklyn College circa 2011, and he had us write compilers for his new language under development.