4.2逻辑模拟的模型和算法