Hacker News Reader

The work described in the linked article is very different from what PRESS is doing.

Yeah, I should have said that. I'm just pointing out that Prolog has been used to do things that Coq and Idris do.