[alankay]

For "discovered" vs "invented" I think you have to posit your definition of "exist". This puzzled Russell, Whitehead, Wittgenstein, etc.

The Peano axioms describe constraints for instances within a set. Is something already "there" just because we can test the constraints after it appears, or use them to make it?

The foundations of OMeta go way way back (starting with Meta II by Val Schorre ca 1964 -- and in the context of the many different approaches to parsing in the 60s). The modern addition to help make OMeta was the packrat parsing idea. It wouldn't be surprising if some Prolog lore wafted its way in, but I don't recall that any of the many parsing schemes that Prolog has been used for were in the conversations. One of the Ur-centers that most parsing theory has to contend with is "Earley Parsing". However, the idea that a dynamic proof can be used to parse goes very far back.

[carapace]

I pretend to be a strict constructivist, except on cloudless nights far from the city lights. When I see the stars I can believe in infinitudes.

I've been an avid reader of VPRI's papers and reports. Incredible work. It deserves to be more widely known.

Someone on a forum somewhere pointed out the similarity between DCGs and OMeta, I didn't notice it myself.

I'm working to complete a project directly inspired by your work (and Ted Nelson's "Dream Machines" book) that should culminate in a system that approaches the "20,000 lines of code" ... "from the end‐user down to the metal" limit. I'm using Prolog and Joy programming languages and targeting the RISC that Prof. Wirth developed for Project Oberon. I have a simple modeless UI modeled on Oberon OS and Jef Raskin's "Humane Interface". If anything comes of it I'll probably try to show it to you someday.