O opensource.googleblog.com Logica, a novel open-source logic programming language 346 points layer8 5 years ago 98 comments