第二章 确定性推理归结演绎推理前束范式SKolem范式子句和子句集的定义鲁滨逊归结原理

四川麻将攻略定义搭子 ：离成型的牌型缺一张的牌，如2378，是两搭，可以成两个顺子起手共13张牌，先快速计算自己多少搭胡牌四搭一对胡牌，所以只需要四搭，不需要太多搭数练习总结...