I think embedding Prolog is a common use case for it, but I think “constraint solver” is the wrong metaphor.

Use Prolog to “reason about X”, is closer to the gist.