Relational Lisp – AP5

(www.ap5.com)
70 points medo-bear | 5 comments | 18 Dec 24 13:21 UTC | HN request time: 0.639s | source
1. tmtvl ◴[18 Dec 24 17:56 UTC] No.42452986[source]▶
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)

replies(2): >>42481013 #>>42507104 #
2. ◴[21 Dec 24 17:21 UTC] No.42480895[source]▶
3. adamnemecek ◴[21 Dec 24 17:43 UTC] No.42481013[source]▶
It also came up this recent thread https://news.ycombinator.com/item?id=42445328
4. deterministic ◴[25 Dec 24 05:41 UTC] No.42507104[source]▶
ACL2 is a proof assistant. AP5 seems to be more of a relational data structure language.