% From The Art of EyeProlog, Chapter 40.
inf :- inf, inf.

?- inf.
   loops.