rational term unification and conservation of sharing

Thread View: comp.lang.prolog

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Bart Demoen Wed, 23 Dec 1992 16:42

#2172

Author: Bart Demoen
Date: Wed, 23 Dec 1992 16:42

14 lines
1105 bytes

Olivier Ridoux wrote:
> Moral: rational term unification and conservation of sharing are
> rather independent issues.

Sure, but I didn't claim that rational term unification and conservation of
sharing are dependent, rather that making the built-in predicates support
cyclic terms, leads to conservation of sharing - and of course this is not
strictly true either, because one has always the freedom to mess things up.

E.g. if one makes copy_term/2 such that it can make a finite copy of a cyclic
term, one can as well make a copy with the same internal sharing as the
original term - and in fact I think one has messed things up if not.

Bart Demoen

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads