Comment by CocoaGeek

hey (author here), so the code isn't available as I haven't decided to open source it or not yet. You are correct to point out that it's a LOT slower than more traditional Prolog due, in part, to a different architecture.