← Back to context Comment by caditinpiscinam 6 years ago Sentient looks neat! Does it use the same strategies as Prolog under the hood? 2 comments caditinpiscinam Reply MaxBarraclough 6 years ago 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 6 years 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.
MaxBarraclough 6 years ago 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 6 years 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.
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
> 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.