Re: [eclipse-clp-users] [SWI-Prolog/swipl-devel] user-data-type-attvars (#189)

From: Douglas Miles <logicmoo_at_...6...>
Date: Mon, 2 Jan 2017 01:05:08 -0800
I' just start the email over sorry so sorry

(i had to clear up between my_string_words and pretend_value .. and they
were meant to be the same attribute)



​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 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

so far so good?


V1 =  my_string_words([hello,beautiful,world])   + had an attribute  foo
(inst1)
V2 = another my_string_words([hello,_])   + had an attribute  foo(inst2))


It would possible (if i so wanted)

To unify V1=V2

I get a wakeup to decide the my_string_words were a okay to unify

And have the outcome be be that if i checked the values.. I will been
allowed to modify  my
my_string_words of V2 to now be [hello,world]  ?   I am guessing the answer
is still yes

Here is the question:

   Could V1 and V2 still be different variables?
  could possibly still find different 'foo' attributes  V1 and V2
respectively?​



Thank you in advance,
 Douglas
Received on Mon Jan 02 2017 - 09:05:30 CET

This archive was generated by hypermail 2.3.0 : Wed Sep 25 2024 - 15:13:21 CEST