Relational Lisp – AP5

ap5.com

70 pointsmedo-bear3 comments

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.

ACL2 is a proof assistant. AP5 seems to be more of a relational data structure language.