二元归结式

（计算机科学技术）

二元归结式（binary resolvent），计算机科学技术名词，通过最一般合一消去两个子句中的互补文字然后予以合并而生成的子句。