Subgraph Isomorphism: Prolog vs. Conventional. - Claire Y. Yin; Peter M. Kogge (CoRR, 2025)