This video walks through downloading & installing SWI-Prolog 9.2.5 on MacOS Sonoma 14.5. Hardware is an M3 MacBook Pro.
0:03 - Downloading SWI-Prolog from swi-prolog.org
0:45 - Installing SWI-Prolog on MacOS
0:58 - Launching SWI-Prolog
1:28 - Fix for missing menus (happens with some installs)