Racket made a prolog implementation that is currently used in the compiler, or a... | Hacker News

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

JimmyRuska on Oct 22, 2023 | parent | context | favorite | on: Using Prolog as the AST

Racket made a prolog implementation that is currently used in the compiler, or at least I thought I heard that in one of their talks. Might be worth trying, since its model is a language for making languages

https://docs.racket-lang.org/datalog/

https://docs.racket-lang.org/racklog/

Blackthorn on Oct 22, 2023 [–]

That looks pretty cool. Whenever I see the words "prolog-style" I always ctrl+f for "cut", and this one passes!

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