does this terminate, i.e. model finder

[Jean-Luc-Picard-2021]

Was trying this query:

?- counter(3).

Does it terminate? Was waiting more than 20 minutes, SWI-Prolog does it in 12 minutes. But can Trealla Prolog also do it?

Source code:

mace4.p.log