I like the underlying design ideas. At first blush however the language itself seems like a more limited subset of Prolog?
Constraints liberate. A datalog program for example can be considered a very restricted prolog program, but it is guaranteed to terminate and there are alternative evaluation strategies that can be very efficient.