Well, I don't know Prolog either, which is why I typed in that code. I don't know about available funding either, I have been trying for over two years now to get people interested in this, and I ran out of financial resources a while ago. I have been living by extorting money from my friends and family. It's not an ideal lifestyle, but I don't know what else I can do.
There was some money in the Linux Foundation after that Bleeding Heart fiasco, and I thought perhaps we could go to them and say: "This is just treating the symptoms, not curing the disease. We would do better to cure the disease, so why don't you give us just 10% of what you would have spent, and see if we can't do 90% of the work." But if you're only interested in treating the symptoms too, then you are competing directly with the OpenSSL people, and I'm not sure how much better you will fare.
I'm really tired now, and I will try and reply more constructively tomorrow.