SICStus Prolog provides constraint programming with several constraint solvers. This technology has been successfully used in commercial applications as well as in research projects.
SICStus Prolog has integrated support for developing web based applications.
The SICStus Prolog compiler produces portable, optimized virtual machine code.