Programming Environment

• Programming environment used in the course:
  • Multi-paradigm programming environment supporting:
    • Logic programming
    • Functional programming
    • Constraint programming
    • (A form of) Imperative, object-oriented programming
    (allows following the course with a single system)
  • Installing/Using Ciao:
    • Freely available from: http://www.ciaohome.org
    • You can easily install it in your machine (Linux, Unix, Windows, & Mac).
    • If needed, it can be installed on the CS Linux machines.
  • Use of the (emacs-based) programming environment highly recommended
    (syntax highlighting, auto-documenter, multiple debuggers, assertions, etc.).