That sounds a lot like logic programming. For some reason, it did not take off.