Relational Lisp – AP5

2 comments

• tmtvl 3 days ago
  I feel like this came up somewhat recently, but I can't find the context.

  In any case, I wonder how it compares to Screamer, ACL2, and Kanren.

  EDIT: found it: https://news.ycombinator.com/item?id=41805702 (6 comments)

  [-]
  • adamnemecek 19 hours ago
    It also came up this recent thread https://news.ycombinator.com/item?id=42445328