@dlakelan @mcc I think it’s a cool exercise to program in Prolog for long enough to internalize the model, but once you’ve done that I prefer access to those techniques within the context of a functional language (because not every problem is logic shaped).

Have you also looked at Datalog? It’s those techniques applied to querying databases, and I love it. 😊