EclipseCLP. Forked from "https://eclipseclp.org/" - View it on GitHub