small new page on the blue prince clock tower puzzle in prolog with CLP(Z): https://web.liminal.cafe/~byakuren/prolog/blue-prince-clock-tower-puzzle/