Thanks Alex!
On Thu, Aug 20, 2020 at 11:02 PM Alexander Burger <a...@software-lab.de>
wrote:
> Hi Kashyap,
>
> > init.s defines append as follows -
> > append {doAppend}
> > ,((((NIL @X @X)) (((@A . @X) @Y (@A . @Z)) (append @X @Y @Z))) . T)
> >
> > I gather that the second line that starts with ',' adds properties to the
> > symbol.
>
> Yes, that's correct.
>
> > It is not clear to me what the properties are for. Can you please throw
> > some light on this?
>
> These are the Pilog predicates for append/3
>
> ☺/ A!ex
>
> --
> UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe
>
