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-to

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.