This website is for running mostly experimental and temporary publically accessible services.
Information about SWI-Prolog is at https://www.swi-prolog.org