Hi I would like believe that I can use attvars/metaterms to proxy for complex datatypes. Lets pretend I created a fake string datatype that holds sentences using entire words like [hello,world] .. I'll print this as "hello beautiful world" Let add that this datatype can also hold unbound word element to like [hello,_]. I'll store these physically in an attribute called my_string_words I think so far so good. V1 = pretend_value([hello,beautiful,world]) + had an attribute foo (inst1) V2 = another pretend_value([hello,_]) + had an attribute foo(inst2)) It would possible (if i so wanted) To unify V1=V2 I get a wakeup to decide the pretend_values were a okay to unify And have the outcome be... I could possibly still find different 'foo' attributes V1 and V2 respectively?Received on Mon Jan 02 2017 - 08:58:34 CET
This archive was generated by hypermail 2.2.0 : Mon Jan 02 2017 - 12:13:19 CET