[caditinpiscinam]

Sentient looks neat! Does it use the same strategies as Prolog under the hood?

[MaxBarraclough]

Good question, I'm afraid I don't know enough about either language to answer that.

The Sentient pages mention Prolog, for what that's worth: https://sentient-lang.org/intro/declarative

[satthrow]

> The MiniSat solver is Sentient’s default. It is a version of MiniSat that has been compiled to JavaScript with Emscripten. This means that it can run in a web browser and it does not have any dependencies when run from the command-line.