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:[email protected]?subject=Unsubscribe
