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

From: Douglas Miles <logicmoo_at_gmail.com>
Date: Mon, 2 Jan 2017 00:58:09 -0800
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