Just in case someone else finds this useful, here is a small case-study of a relational program written in Prolog, from another conversation. https://guitarvydas.github.io/2024/06/03/Relational-Programming-Simple-Use-Case.html

In case anyone is unaware, Datalog is a restricted form of Prolog for database querying. It’s been seriously, production-ready implemented in one commercial database (Datomic) and one in-progress open source database (CozoDB). I am convinced that much of the sort of problem we’re concerned with here could be addressed by implementing most of nearly all programs in Datalog.