Comment by qop

Embarrassed question, but where is the code for this? I didn't see a github link or anything. Is it fast? These examples don't really mean much to me if they took several seconds to run, prolog can do most of this already, and its ridiculously fast.