Note: The first thing to try if SPIDER is slow, is to increase the memory allocated to Eclipse. See memory issues, for more information.
You can also change the Eclipse preferences so Eclipse refreshes once when started or automatically as needed.
Note: SPIDER can rename a predicate and update all references. It can also rename variables within a clause.
Instead we need something like Javadoc for documenting Prolog code. We are aware of many attempts in this direction but none that fulfills all our requirements.
Also, we want to ensure that the same documentation markup can be used outside of SPIDER, e.g. to generate documentation files.