Logical Loops

This code implements the loop construct described in: J.Schimpf, Logical Loops, 18th International Conference on Logic Programming, ICLP 2002, Copenhagen, Denmark, July/August 2002. Proceedings, LNCS 2401, pg 224-238, © Springer-Verlag, Postscript, Pdf, Powerpoint slides.

ECLiPSe users don't need this because loops are a standard language feature.
loops.pl : the basic code which should work with all Prolog systems, but implements only a slow meta-called form
loops_sicstus.pl : small wrapper for Sicstus Prolog (and possibly others) providing compile-time transformation