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.
A BS in physics from a decade ago and BS in geology (mostly geophysics) a few years ago.
Just sorta started noodling around with prolog a while back on a whim. Fits my brain well enough and it's kinda fun. Still never really used it in anger but I've been hanging around tech/programming circles for so long i can speak (somewhat) intelligently about languages well before I can do anything with them.
Another out of topic - I keep seeing your comments and in a comment about two years ago you said your profile had a link to your research. I looked at your profile to find out a bit about the things you are working on, but since then you've edited your profile. Any chance you could add a link/links again for a day or two?
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.