Informasi yang berkaitan dengan zh/分布式一阶逻辑