[Date Prev] [Date Next] [Thread Prev] [Thread Next] Date Index Thread Index Search archive:
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.