Out of topic, but I was following this thread out of mild interest (not at all my expertise and I don't understand the subject) and I just realised yours is the same account that posted a helpful comment on that Prolog thread two days ago.
I'm curious about your background: you seem to know both physics and Prolog? How come?
Btw, thanks for your comments in the Prolog thread. Much more level-headed reaction than mine, I have to say with embarrassment.