Getting started with ECLiPSe

• Entering the ECLiPSe System
  • Starting ECLiPSe in teletype mode
• ECLiPSe Command Line Options
• The .eclipserc file
• Interaction with the Toplevel Loop
  • Entering Goals
  • Exiting from the Toplevel
  • Entering Programs from the Terminal
  • Querying Programs
  • Syntax errors
  • Interrupting the execution
  • History Mechanism
  • Getting Help
  • Global Flags and Settings
• More about compilation
  • Optimised Compilation
  • Compiling from a File
  • File Queries and Directives
  • Compiling Procedures as Dynamic or Static
  • Altering Programs
• Using Libraries
• Redefining Built In Predicates