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:59:14 -0800
Typo..

- I'll print this as "hello beautiful world"
+ I'll print this as "hellol world"

On Mon, Jan 2, 2017 at 12:58 AM, Douglas Miles <logicmoo_at_gmail.com> wrote:

> 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:59:36 CET

This archive was generated by hypermail 2.2.0 : Mon Jan 02 2017 - 12:13:19 CET