Added SWI-Prolog implementation

Nice!  Had to host it at demo.swi-prolog.org though ...