prague prolog https://git.e-x-a.org/exa/prlg/atom?h=master