I've brushed up against it in the form of datalog as the query language for databases like datomic and xtdb, so it's soul is alive and well! I'm also consideri

I've brushed up against it in the form of datalog as the query language for databases like datomic and xtdb, so it's soul is alive and well! I'm also considering a prolog like domain specific language to make a state syncing engine with pure declarations of how the state in system A is reflected in System B, etc. Prolog itself may not be mainstream, but it is an answer to a the universal problem space of constraint solution, so comp sci will always be in its long shadow.