Software

Commercial Software

• SICStus Prolog
• Quintus Prolog
• The Tacton Configurator - by our spin-off company Tacton Systems
• BotBox Personal Assistant - by our spin-off company BotBox

Free Software

• TAC servers and agentware - for TAC Classic and TAC SCM (see "Software")
• AKL/AGENTS - one of the first serious CCP language implementations (download)
• Penny - a parallel implementation of AKL (download)
• Aurora - an OR-parallel version of (an old version of) SICStus (download)
• ft - an intuitionistic predicate logic theorem prover (download)
• Mixtus - an automatic partial evaluator for full Prolog (free but registration required)
• PRM - a Problem Report Manager (download)
• wm_match - matching transcription factor weight matrices to DNA sequences (download)
• wm_align - multiple alignment of short DNA sequences