They also mention mediKanren, apparently built on miniKanren (which is some language for logic programming).
I personally saw a lot of potential for these approaches, and wrote some future outlook stuff as part of my thesis here:
https://bionics.it/posts/linked-data-science
There is some cool new tech coming out here lately, including TypeDB, which is a little like a modern version of Prolog with proper data storage and less cryptic language:
Unfortunately it seems to lack some of the expressive power that makes Prolog so well suited for integrating basically any outside data source on-the-fly :/