Looked at the Phrogram website and saw Logo-like fractals and simple polygons. Might want to try a look at my favorite versions of logo elica or netlogo.

Of course, Logo, Scheme, Lisp are lambda-calculus, most others are algebraic.