Source : Free On-Line Dictionary of Computing

Magma2
     
         A language that allows programmability of the
        control environment, e.g. {recursion}, {backtracking},
        {coroutine}s, {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)