It sounds like you want something closer to a prolog language in which you could specify the rules for the engines to respect...
I understand the need to reinvent the wheel, but most of these efforts feel to me like customizations that most declarative languages can provide, albeit possibly in a non-intuitive syntax.
I want to spend time building something like that, but i have doubt there is really a market need/want.