#Oleg and Chung-Chieh Shan have built a #probabilistic-programming system as an embedded DSL in #OCaml, called "HANSEI". Holy shit, they did it in 2008. That’s at least five years ahead of the trend.
on 02015-09-18#PDF #paper "Rethinking Prolog", by #Oleg Kiselyov and Yukiyoshi Kameyama. Mentions #parser combinators “that use committed choice (maximal munch) and can still be run forwards and backward” that can’t be written in classical #Prolog. Based on #Hansei, a probabilistic programming system embedded in OCaml.
on 02015-09-18