3 ms·

Any suggestion on what Prolog to use?

• yaantc 7y ago
  Eclipse CLP (no relation to the IDE ;) has good built-in support and can also interface to many external solvers. It's open source. https://eclipseclp.org/ https://eclipseclp.org/