一阶逻辑模型生成器的实现

• Implementation of first order logic model generation