[HN Gopher] Relational Lisp - AP5
       ___________________________________________________________________
        
       Relational Lisp - AP5
        
       Author : medo-bear
       Score  : 36 points
       Date   : 2024-12-18 13:21 UTC (3 days ago)
        
 (HTM) web link (www.ap5.com)
 (TXT) w3m dump (www.ap5.com)
        
       | tmtvl wrote:
       | 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 wrote:
         | It also came up this recent thread
         | https://news.ycombinator.com/item?id=42445328
        
       ___________________________________________________________________
       (page generated 2024-12-21 18:01 UTC)