#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-18a pint-sized #Earley #parser #smallisbeautiful
on 02015-09-15