3 ms·
This is somewhat related to these recent submissions: Logic Programming and Compiler Writing https://news.ycombinator.com/item?id=17674859 https://news.ycombin
by i_don_t_know 8y ago
This is somewhat related to these recent submissions:
Logic Programming and Compiler Writing
https://news.ycombinator.com/item?id=17674859 https://news.ycombinator.com/item?id=17674859
A Brief History of the BEAM Compiler
https://news.ycombinator.com/item?id=17671478 https://news.ycombinator.com/item?id=17671478
I don't know if the GENTLE system is actually implemented in Prolog or if it's just using an input language based on Horn clauses.
- icsa 8y agoThe language for specifying computation in GENTLE is similar to a shallow backtracking version of Prolog. The language is translated directly into C.