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?
