Yes, ideas behind Alma-0 look similar to the ones behind Picat.

Loops in Picat are compiled to recursive calls. And there is automatic backtracking, like in Prolog.