https://github.com/nlothian/Vibe-Prolog

gzip: stdin: not in gzip format