Prolog is a solid pick w for its unique approach to problem-solving. If you’re into exploring tools alongside languages, check out Rig.rs for Rust

it’s great for building modular workflows, and its type safety might make tackling some Advent of Code problems extra satisfying.

Yeah I think so, especially 2nd time around. You kind of have to refuse to think about your problem computationally; that’s really important when doing prolog I think, else you’ll end up with functional programming.

I try to think about what the solution of the problem implies , and then test each such interpretation against a prolog program to express it.