also auto-start for goals TODO: also commit this release to prolog1.