Implementation of first order logic model generation

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