So, this sounds like you could use a pure logic programming notation - specify intended functionality without any implementation details at all - that is basically what I am doing - I am attempting to create an ideal language notation for expressing general relations. I wonder if others might find this useful and if others are working in this space? If not, then why not?