Circular Reasoner: a Package in Mathematica for the Execution of Certain Otherwise Non-terminating Functional Programs
Christopher J. Osborn · Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign) · 2010
We have designed Circular Reasoner, a package in Mathematica for the specification of functional programs using rewrite rules. The package detects certain recursions of a cyclical nature, and through repeated re???nement of a set of initial guesses of ???nal values for relevant terms, arrives at a value consistent with the equations used to define the functional program. We discuss this package and its implementation.