ALLOY
A language by Thanasis Mitsolides <mitsolid@cs.nyu.edu> 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.
ftp://cs.nyu.edu/pub/local/alloy/.
["The Design and Implementation of ALLOY, a Parallel Higher Level Programming Language", Thanasis Mitsolides <mitsolid@cs2.nyu.edu>, PhD Thesis NYU 1990].