Prototype symbolic programming language