The Free On-line Dictionary of Computing (19 January 2023):

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)