[yaantc]

MiniZinc is a purely declarative problem description language. It's a way to describe a problem once, and feed it to different solvers easily. You can provide hints for the search, but there is no more control on the solving process.

Prolog is a "full" language. You can program any search strategy you want with it.

I'd recommend starting with MiniZinc first, as it's easier. If it's not enough and you need to customize the search strategy then once can move to Prolog, particularly a modern one with constraint support.

[piadodjanho]

Any suggestion on what Prolog to use?

[yaantc]

Eclipse CLP (no relation to the IDE ;) has good built-in support and can also interface to many external solvers. It's open source.

https://eclipseclp.org/