Re: p :- p. in pilog

2018-07-09 Thread Alexander Burger
Hi Bruno,

> there is this rule in prolog:
> p :- p.
> That is infinitely recursive. If you query the database for
> ...
> How can you write p :- p. in pilog, so that it does the infinite loop that

   : (be p () (p))
   : (? (p))

—Alex

-- 
UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe


p :- p. in pilog

2018-07-09 Thread Bruno Franco
there is this rule in prolog:
p :- p.
That is infinitely recursive. If you query the database for
?- p.
It gets thrown into an infinite loop.

I've tried to recreate that in pilog, with no success.
: (be p (() p))

How can you write p :- p. in pilog, so that it does the infinite loop that
I expect?


unsubscribe

2018-07-09 Thread Rudy X. Desjardins
-- 
Rudy X. Desjardins
pgp: 96FFA628