Symbolic programming