Post #1912695

Hard to believe I worked on improving the performance of a logic programming language before ever actually using one, but that day has finally come! Prolog is lots of fun. It's also really nice how easy it makes it to play around with ASTs and type theory