发明名称 |
Method of conjoining clauses during unification using opaque clauses |
摘要 |
A method of using a processor to conjoin a first clause and a second clause as part of a unification of a first graph. If the first clause is not associated with the first graph, then a third clause is created that is opaque and has a pointer to the first clause. Afterward, the third clause is conjoined with the second clause.
|
申请公布号 |
US5903860(A) |
申请公布日期 |
1999.05.11 |
申请号 |
US19960672515 |
申请日期 |
1996.06.21 |
申请人 |
XEROX CORPORATION |
发明人 |
MAXWELL, III, JOHN T.;KAPLAN, RONALD M. |
分类号 |
G06F9/44;G06F17/27;(IPC1-7):G06F17/20 |
主分类号 |
G06F9/44 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|