Anyone know where I can find up-to-date benchmarks of Prolog implementations?
This is something I'm interested in too. Did you find https://stackoverflow.com/questions/65376131/up-to-date-prolog-implementation-benchmarks ? In particular, the accepted answer looks useful.