I’ve considered Mercury and Picat this year but I don’t want to go without regex and/or associative arrays. Also Mercury seems moreso about performance than semantics.
I think it’s Prolog for me again this year but with an effort to complete the problems in a more “Prologesque” way.