A language by Thanasis Mitsolides which combines functional programming, object-orieNTed programming and logic programming ideas, and is suitable for massively parallel systems. Evaluating modes support serial or parallel execution, {eager evaluation} or {lazy evaluation}, {nondeterminism} or multiple solutions etc. ALLOY is simple as it only requires 29 primitives in all (half of which are for {object orieNTed programming} support). It runs on SPARC. . ["The Design and ImplemeNTation of ALLOY, a Parallel Higher Level Programming Language", Thanasis Mitsolides , PhD Thesis NYU 1990]. (1991-06-11)