一阶逻辑稳定模型翻译器