Re: List and Yap Read Buffer in C code

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