I haven't used it, but based on this, it seems good for declaratively solving problems given facts and constraints: https://xmonader.github.io/prolog/2018/12/2

I haven't used it, but based on this, it seems good for declaratively solving problems given facts and constraints: https://xmonader.github.io/prolog/2018/12/21/solving-murder-prolog.html https://xmonader.github.io/prolog/2018/12/21/solving-murder-...