It does look cool. Without looking at details I'd guess slow if it's running in the prolog interpreter instead of the native compilation SBCL does.