Hacker Next
Logica – Declarative logic programming language for datalogica.dev
171 points by voat 5 days ago | 66 comments