9 ms·

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 g

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.