Dataflow dependency backtracking method
CA 2063974 A1 · Owner: Havens, William S. · Inventors: Havens, William S.
Overview
Its claims, description and drawings are in the Canadian Patents Database.
Open the CIPO recordAbstract From the Canadian patent
The Invention propagates an Event. An Event consists of a pair, a Binding and a Label. The term "binding" refers to the domain or set of possible values that a variable could equal or be "bound" to. A new binding represents the new domain of a variable after some change has occurred in the old domain or the old binding of the variable. A Label is the set of rules or Horn Clause choices that caused the new binding to occur. The new binding is used during the Proof Procedure and the Label is used during Intelligent Backtracking. The Invention is a component of the Dataflow Dependency Backtracking Mechanism ("DDBM"). The DDBM is an expert system reasoning engine Havens91a. The prior art …
Read the whole patent
Listed from its CIPO record in Patent Yard's archive of Canadian patents past their term. Its claims, description and drawings are in the CIPO record and on Google Patents, and the Claude kit works from them.
Why it's free to use
- Filed March 25, 1992. No grant is recorded for it in Canada; had it been granted, its 20-year term would have ended March 25, 2012.
- A certificate of supplementary protection adds at most two years for a drug, so even that would have ended by March 25, 2014.
- We check Canadian rights only. A patent in its family in another country could still be in force: check its family on Google Patents.
Timeline
Timeline From CIPO dates
Sources & verification
Official CIPO records
Everything on this page comes from the CIPO record linked above. Contains information licensed under the Open Government Licence – Canada.