Create logic puzzle Makaro in Prolog

Hey Community, nice to meet you!

Sorry for bothering you, but I need your help. I have to program the solution of a Makaro logic puzzle in Prolog and since I have not used Prolog yet I do not really know how to start. Does anyone of you have a solution for this logic puzzle or an idea how to get started? Maybe even with some code lines?

Thank you for your time and help!

Greets, Michael

Logtalk includes a puzzles example with solutions for some popular logical puzzles:

I’m not familiar with the Makaro puzzle but chances are that it can be solved in a similar way to the puzzles in that example.