5 ms·
Sentient looks neat! Does it use the same strategies as Prolog under the hood?
by caditinpiscinam 6y ago
Sentient looks neat! Does it use the same strategies as Prolog under the hood?
- MaxBarraclough 6y agoGood 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 https://sentient-lang.org/intro/declarative
- satthrow 6y ago> 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.