Hi, author here. Thank you so much for this unfudging! I knew I was fudging thin... | Hacker News

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

vilterp on July 20, 2020 | parent | context | favorite | on: Turning the IDE Inside Out with Datalog

Hi, author here. Thank you so much for this unfudging! I knew I was fudging things up a bit, and I didn't really understand the relationships between Prolog, Datalog, Horn clauses, and first-order logic. This clears things up a lot, though I think I'll need to read it a couple more times for it to sink in! Thanks again.

YeGoblynQueenne on July 20, 2020 [–]

Thank you for your article! Also note tom_mellior's corrections above, particularly about datalogs with two head literals. I'm fudging things up also!

Consider applying for YC's Winter 2027 batch! Applications are open till November 2.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact