S

SWI-Prolog

mirror submodules from https://github.com/SWI-Prolog/