(language)A language that allows programmability of thecontrol environment, e.g. recursion, backtracking,coroutines, nondeterminism, etc. Magma2 was the successorto MagmaLISP.
["Magma2: A Language Oriented Toward Experiments in Control",Franco Turini, ACM TOPLAS 6(4):468-486 (Oct 1984)].