Paradigms that easily permit reversible computations are worthy of extended study. It adds a whole new level of expressive power. I'm slowly discovering that t

Paradigms that easily permit reversible computations are worthy of extended study. It adds a whole new level of expressive power. I'm slowly discovering that the coupling of a logic paradigm with a language that supports macros opens the door to some really incredible code transformations.