Hello Gisle!

On 22-Mar-01, you wrote:

 GD> Variables must be renamed before unification to aviod name
 GD> clashes. For example, [[parent x y] [father x y]] could
 GD> become
 GD>             [[parent _x20 _y15] [father _x20 _y15]]

Could you use different contexts instead of renaming words?

Just a thought,
    Gabriele.
-- 
Gabriele Santilli <[EMAIL PROTECTED]> - Amigan - REBOL programmer
Amiga Group Italia sez. L'Aquila -- http://www.amyresource.it/AGI/

-- 
To unsubscribe from this list, please send an email to
[EMAIL PROTECTED] with "unsubscribe" in the 
subject, without the quotes.

Reply via email to