3 ms·
The work described in the linked article is very different from what PRESS is doing.
by throwawayjava 7y ago
The work described in the linked article is very different from what PRESS is doing.
- carapace 7y agoYeah, I should have said that. I'm just pointing out that Prolog has been used to do things that Coq and Idris do.