Re: List and Yap Read Buffer in C code

> Hi Ingo
>
> I am very confused. cons is a different thing then a list, and I
> didn't follow how you got unification to give a type error :(
>
> Can you give me a small program that shows the problem?
>
> Cheers
>
> Vitor
>
> On Thu, Mar 26, 2009 at 8:01 PM, Ingo Thon  
> <ingo.thon@...> wrote:
>> Hi,
>>
>> I have a samll problem with YAP_ReadBuffer in cases where the string
>> to parse contains a list.
>> Take the follwing code
>> chrs = ":(dpose(cons(*(pose(a),0.15),cons(*(pose(b),0.15),[]))),:
>> (nil,
>> 3))";
>>
>>
>>  YAP_Term err;//=new YAP_Term;
>>   YAP_Term parsed = YAP_ReadBuffer(chrs,&err);
>>   //  __IDENT__;
>>   if( YAP_Unify(parsed,YAP_ARG2)){
>>  ....
>>
>>
>> In c++ the corresponding argument is afterwards unified with
>> dpose(cons(pose(a)*0.15,cons(pose(b)*0.15,[])):nil:3
>>
>> if I now do something like
>> dpose(cons(pose(a)*0.15,cons(pose(b)*0.15,[])):nil:3 = dpose(L):_:_ ,
>>
>>
>> I get  TYPE ERROR-  .... : expected list, got cons(....
>>
>>
>> Do I really have to reconstruct the list manually?
>>
>> Cheers Ingo
>>
>>
>> ---------------------------------------------------
>> Ingo Thon <ingo.thon@...>
>> Dept. of Computer Science
>> Katholieke Universiteit Leuven
>> Phone: +32 16 32 7823
>> skype: ingo_thon
>> ---------------------------------------------------
>>
>>
>>
>> ---------------------------------------------------------------------
>> ---------
>> _______________________________________________
>> Yap-users mailing list
>> Yap-users@...
>> https://lists.sourceforge.net/lists/listinfo/yap-users
>>
>
> ----------------------------------------------------------------------
> --------
> _______________________________________________
> Yap-users mailing list
> Yap-users@...
> https://lists.sourceforge.net/lists/listinfo/yap-users