Sentient: a declarative language that lets you describe what your problem is

How is it different from other declarative variants?!

I get the plug-in SAT solver. Great. (in practice SAT solvers need plenty of specialist tuning for non-toy problems).

Is it suppose to be somehow more readable than Prolog? Easier to building more complex rules ?

No snark intended. Genuinely interested.

Related thread: https://news.ycombinator.com/item?id=12429393