Date: | Mon Apr 7 12:52:33 1993 | |
Subject: | Re: Re: **** looking for implementation of unification algorithm **** | |
From: | Robin Popplestone | |
Volume-ID: | 930407.02 |
Would it not be possible by some analysis akin to the application of strictness analysis to the abolition of procrastination to *predict* that an occurs check is not required? After all, the ways in which a clausal variable can get into a data-structure are limited. Robin Popplestone. |