Jednou bych si od vás rád početl něco o Mathematice (Wolfram). Co jsem četl, tak původní LISP, měl být založen na M-expressions (https://en.wikipedia.org/wiki/M-expression), ale protože někdo vytvořil rychleji funkční verzi s S-expressions, tak to tak zůstalo. Mathematica používá to první a používá zajímavé paradigma (term rewriting ). Jejich engine je volně k dispozici, takže na hraní by to mohlo stačit (https://www.wolfram.com/engine). Srovnání Julie a Wolframu je docela na místě. Tak snad někdy v budoucnu :)
Lisp je s pomocí M-výrazů pěkně a docela čtivě popsán v původním manuálu LISPu 1.5 (http://www.softwarepreservation.org/projects/LISP/book/LISP%201.5%20Programmers%20Manual.pdf) - se slavnými "Maxwellovými rovnicemi softwaru" na straně 13.