https://github.com/webyrd/mediKanren
http://minikanren.org/workshop/2020/minikanren-2020-paper7.p...
Not prolog though. But gives an idea about the goals behind the classification of science papers.