Comment by iddan

Is someone working on a more modern syntax to Prolog? like how ReasonML is for OCaml but for Prolog