Logica, a novel open-source logic programming language346 points by layer8Read the articleDiscussion on Hacker News