magma2

from The Free On-line Dictionary of Computing (8 July 2008)

Magma2

   <language> A language that allows programmability of the
   control environment, e.g. {recursion}, {backtracking},
   {coroutines}, {nondeterminism}, etc.  Magma2 was the successor
   to {MagmaLISP}.

   ["Magma2: A Language Oriented Toward Experiments in Control",
   Franco Turini, ACM TOPLAS 6(4):468-486 (Oct 1984)].

   (1995-07-30)