λ-Horn集上的λ-单元锁归结  

The λ-Unit Lock Resolution on λ-Horn Set

作　　者：刘叙华[1] 杨凤杰[1] 

机构地区：[1]吉林大学计算机科学系

出　　处：《吉林大学自然科学学报》1989年第3期39-41,共3页Acta Scientiarum Naturalium Universitatis Jilinensis

摘　　要：本文给出了λ-Horn集上的λ-单元锁归结方法,并证明了λ-单元锁归结方法对λ-恒假公式是完备的。This paper presents the λ-unit lock resolution on λ-horn set and the proof of completeness of λ-unit lock resolution.

关 键 词：λ-Horn子句 λ-约化集 锁归结 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]