关于 query-source-skolemize 的中文软件包

从已经完成翻译的文档出发，找到解决问题的新思路。