Scryer Prolog Mark Thom
Use this command to install Scryer Prolog:
winget install --id=mthom.ScryerProlog -e
Scryer Prolog is a free software ISO Prolog system intended to be an industrial strength production environment and a testbed for bleeding edge research in logic and constraint programming.