Consul
A constraint-based declarative language based on axiomatic set theory and designed for parallel execution on MIMD architectures. Consul's fundamental data type is the set and its fundamental operators are the logical connectives ("and", "or", "not") and quantifiers ("forall", "exists"). It is written in Lisp-like syntax, e.g.,
(plus x y z)
which means the relation x = y+z (not an assignment statement).
["Design of the CONSUL Programming Language", D. Baldwin, C. A. Quiroz Gonzalez, University of Rochester. Computer Science Department, TR208, 1987 Feb (http://hdl.handle.net/1802/6372)]
["Consul: A Parallel Constraint Language", D. Baldwin, IEEE Software 6(4):62-71, 1989 July (http://dx.doi.org/10.1109/52.31653)]