CLP(R)

CLP(R) is a declarative programming language. It stands for Constraint logic programming (Real) where real refers to the real numbers. It can be considered and is generally implemented as a superset or add-on package for a Prolog implementation.

The simultaneous linear equations:

are expressed in CLP(R) as:

and a typical implementation's response would be:

Z = 35.75
Y = 8.25
X = 15.5

Yes

...
Wikipedia