Is this named after Karl Popper? If so that's unfortunate because Popper spent his life arguing against the validity of inductive reasoning in science. His distinctive contribution was to try to describe a scientific method that did not depend on induction.

https://philosophy.institute/logic/poppers-critique-rejection-induction/

Excuse the possibly stupid question, but I see it's using swi-prolog. So it's some kind of tool to test hypotheses using prolog but somewhat enhanced by machine learning? I guess I'd need to read the paper, just not sure this is within my reach 😅 Just did a bit of prolog at the university (which was a blast)