Method of conjoining clauses during unification using opaque clauses
Patent 5903860 Issued on May 11, 1999. Estimated Expiration Date: 
June 21, 2016. Estimated Expiration Date is calculated based on simple USPTO term provisions. It does not account for terminal disclaimers, term adjustments, failure to pay maintenance fees, or other factors which might affect the term of a patent.
June 21, 2016. Estimated Expiration Date is calculated based on simple USPTO term provisions. It does not account for terminal disclaimers, term adjustments, failure to pay maintenance fees, or other factors which might affect the term of a patent.Patent ReferencesMethod of lazy contexted copying during unification Patent #: 5819210 InventorsAssigneeApplicationNo. 672515 filed on 06/21/1996US Classes:704/9, Natural language704/10, Dictionary building, modification, or prioritization717/143Parsing, syntax analysis, and semantic analysisExaminersPrimary: Hudspeth, DavidAssistant: Zintel, Harold International ClassG06F 17//20AbstractA 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.Other References
| |
