I'm quite happy with picat, which supports traditional if and loops. It's also fast and supports some solvers, recursive backtracking is optional.

Skipping an expr by cut is in every prolog, but loops not.