SICStus Prolog offers the user an interactive programming environment with tools for incrementally building programs, debugging programs by following their executions, and modifying parts of programs without having to start again from scratch.
The text of a Prolog program is normally created in a file or a number of files using one of the standard text editors. The Prolog interpreter can then be instructed to read in programs from these files; this is called consulting the file. Alternatively, the Prolog compiler can be used for compiling the file.
|• Start:||Getting Started|
|• Reading In:||Reading in Programs|
|• Inserting Clauses:||Inserting Clauses at the Terminal|
|• Queries and Directives:||Queries and Directives|
|• Syntax Errors:||Syntax Errors|
|• Undefined Predicates:||Undefined Predicates|
|• Execution:||Program Execution And Interruption|
|• Exiting:||Exiting From The Top-Level|
|• Nested:||Nested Executions—Break|
|• Saving:||Saving and Restoring Program States|
|• SPIDER:||SICStus Prolog IDE|
|• Emacs Interface:||Emacs Interface|