You can do that in Racket, with the Racklog library¹. There's also Datalog² and ... | Hacker News

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

shawn_w 10 months ago | parent | context | favorite | on: Learn Prolog Now (2006)

You can do that in Racket, with the Racklog library¹. There's also Datalog² and MiniKanren and probably some other logic languages available.

[1] https://docs.racket-lang.org/racklog/index.html

[2] https://docs.racket-lang.org/datalog/index.html

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