Software

• SICStus Prolog
• Quintus Prolog
  

Delivered "as is", supported

• DIVE - Distributed Interactive Virtual Environment
• Mozart (OZ programming system)

Delivered "as is", unsupported

• AGENTS - a CCP environment
• Aurora, another OR-parallel version of SICStus
• ft - an intuitionistic predicate logic theorem prover
• Mixtus, an automatic partial evaluator for full Prolog
• Muse, an OR-parallel version of SICStus
• Traces, a tool for web events logging

Smaller programs (hacks) made at SICS

Software made elsewhere redistributed at SICS

Spin-off software products

• Tacton Configurator, sales confirguration tool
• SimICS, a Sparc V8 interpreter and SunOS 5.x emulator