This type of analysis and visualization is best done in Mathematica, which incidentally also supports both functional (a la Lisp) and declarative (a la Prolog)

This type of analysis and visualization is best done in Mathematica, which incidentally also supports both functional (a la Lisp) and declarative (a la Prolog) programming. It costs money, but it's the right tool for the job.