The GENTLE Compiler Construction System | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		The GENTLE Compiler Construction System (compilertools.net)
		43 points by i_don_t_know on Aug 4, 2018 \| hide \| past \| favorite \| 2 comments

i_don_t_know on Aug 4, 2018 [–]

This is somewhat related to these recent submissions:

Logic Programming and Compiler Writing https://news.ycombinator.com/item?id=17674859

A Brief History of the BEAM Compiler 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 on Aug 4, 2018 | [–]

The language for specifying computation in GENTLE is similar to a shallow backtracking version of Prolog. The language is translated directly into C.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact