DJ : A Java-based Constraint Language and System

Neng-Fa Zhou
zhou@cad.mse.kyutech.ac.jp
http://www.cad.mse.kyutech.ac.jp/people/zhou/index.html
Faculty of Computer Science and Systems Engineering
Kyushu Institute of Technology
680-4 Kawazu, Iizuka, 820-8502 Fukuoka, Japan

• Introduction
• A Brief Introduction to DJ
• Implementation
• Comparison with Related Languages
  • Java
  • Constraint logic programming languages
  • Other constraint languages
  • Constraint libraries
• Conclusion
• References