The Free On-line Dictionary of Computing (30 December 2018):

Symbol Manipulation Program

   (SMP) Steven Wolfram's earlier symbol manipulation program,
   before he turned to Mathematica.

   ["SMP Handbook", C. Cole, S. Wolfram et al, Caltech 1981].

   (1995-01-29)