Hi Cle,
> And till now, I am failing to get a solution, that works for both
> examples. I think the problem may be, that in the first example, the
> free argument '@Var' is unified with the free variable '@C'. But in the
> second example, '@Var' is bound to '(@C @N)'. Those both seem to work
> dif
Alexander Burger wrote:
> Hi Cle,
>
Hi Alex,
>> And till now, I am failing to get a solution, that works for both
>> examples. I think the problem may be, that in the first example, the
>> free argument '@Var' is unified with the free variable '@C'. But in the
>> second example, '@Var' is bo
Hi Cle,
> The usage of 'unify' is interesting, however. I had found it, but did
> not understand, how to use it from the manual. It seems, it is only
> usable in Lisp statements of Pilog clauses. Otherwise, I got SIGSEGV
> regulary :-/
Yeah, it tries to unify variables with the current Pilog envi
Alexander Burger wrote:
> Hi Cle,
>
Hi Alex,
>> The usage of 'unify' is interesting, however. I had found it, but did
>> not understand, how to use it from the manual. It seems, it is only
>> usable in Lisp statements of Pilog clauses. Otherwise, I got SIGSEGV
>> regulary :-/
>>
>
> Yea
Hi Cle,
> hmmm ... then let me make the statement, that picoLisp is also, ahh ...,
> "different" from other interpreted languages here.
True :-)
> The most languages
> try the hell to avoid such ugly things like a SIGSEGV or SIGBUS ;-)
PicoLisp doesn't want to do that. After all, these are "err