Agreed! I've been paying attention to constraint/logic programming (CLP) recently, but I haven't found the right thing yet / haven't invested enough time into it to find the right thing. In my very-layman opinion, CLP-based systems need three things to properly take off: 1. some kind of 'type system'-like thing that enables robust symbolic reasoning over pure relations in any mode, 2. a critical mass of defined layers that is 'deep enough' to reach the hardware, 3. a way to express verified alternatives and preference in the order they are applied.