A language that allows programmability of the
control environment, e.g. recursion, backtracking,
coroutines, nondeterminism, etc. Magma2 was the successor
["Magma2: A Language Oriented Toward Experiments in Control",
Franco Turini, ACM TOPLAS 6(4):468-486 (Oct 1984)].
Last updated: 1995-07-30
Magic Switch Story ♦ Magma ♦ Magma2 ♦ MagmaLISP ♦ magnetic disk ♦ Magnetic Ink Character Recognition
Try this search on