Declarative Programming for Knowledge Management: 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers
... Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata. Program 2.1. Variables andaconstraint statement int x = 0; // a normal variable constrained <int> y ; // a constrainable variable require (y <= x); // a constraint ...
This website uses cookies and collects data for optimal performance. Your continued use signifies agreement to our Privacy Policy.
