PS: On the other hand, Intel processors should run faster on Windows 11 due to Microsoft / Intel close collaboration and some Windows 11 optimizations too.
Note that the SWI-Prolog’s executables for Windows are compiled with MinGW (GCC), so this does not apply for SWI-Prolog. Long time ago we switched from the Microsoft toolchain to avoid two sets of Makefiles and because MinGW produced about 30% faster binaries. I don’t know how this compares at the moment. Since migration to CMake it is again possible to build using MSVC. Getting all dependencies to build is a challenge though