Please note: the Determinacy Checker tool is mostly superseeded by the analysis performed by the SICStus Prolog IDE, SPIDER (see SICStus Prolog IDE). SPIDER will analyze the source code fully automatically and will annotate the edited source code to highlight unwanted non-determinism. The analysis performed by SPIDER is more precise than the analysis implemented by the determinism checker described below.
The determinacy checker can help you spot unwanted nondeterminacy in your programs. This tool examines your program source code and points out places where nondeterminacy may arise. It is not in general possible to find exactly which parts of a program will be nondeterminate without actually running the program, best with the execution profiler, which endeavors to find exactly those parts. However, this tool can find most unwanted nondeterminacy. Unintended nondeterminacy should be eradicated because:
|• Using the Determinacy Checker:||Using the Determinacy Checker|
|• Declaring Nondeterminacy:||Declaring Nondeterminacy|
|• Checker Output:||Checker Output|
|• Det Example:||Example|
|• Det Options:||Options|
|• What is Detected:||What is Detected|