Changeset 4262

Timestamp:

05/15/08 02:26:48 (4 months ago)

Author:

pmoura

Message:

Improved the description of parametric object proxies.

Files:

• trunk/examples/proxies/NOTES.txt (modified) (1 diff)

trunk/examples/proxies/NOTES.txt

@@ -25 +25 @@
 In the context of parametric objects, the above terms are know as "parametric 
 object proxies". Proxies represent different instantiations of a parametric 
-object parameters. They may be stored on the database as Prolog facts. This 
-results in a very compact representation, which can be an advantage when 
-dealing with a large number of objects with immutable state. In addition, all 
-the predicates dealing managing these compact representation are encapsulated 
-in a parametric object. This can be, however, a fragile solution as changes on
-the parametric object ancestors may imply changes to the number and meaning of
-the parametric object parameters which, in turn, may imply changes to all the 
-Prolog facts used to represent the individual objects.
+object parameters. Proxy terms may be stored on the database as Prolog facts 
+or as Prolog rules (parameter instantiation can be deduced instead of being 
+fixed). This results in a very compact representation, which can be an 
+advantage when dealing with a large number of objects with immutable state. 
+In addition, all the predicates managing these compact representation are 
+encapsulated in a parametric object. This can be, however, a fragile solution 
+as changes on the parametric object ancestors may imply changes to the number 
+and meaning of the parametric object parameters which, in turn, may imply 
+changes to all the Prolog facts used to represent the individual objects.
 
 Note that parametric objects can co-exist with "normal" objects. For example,