CAL(ID:5059/cal003)
ICOT Constraint Logic Programming Language
ICOT Constraint Logic Programming Language
References:
Sakai Ko, Aiba Akira "Constraint Logic Programming Language CAL @Its Development and Future Extensions" view details
Abstract: We report the current stage of the development and future extensions of constraint logic programming language CAL which is being developed at ICOT. At present, CAL is implemented on PSI. It can handle constraints in the form of algebraic equations including non-linear ones, and boolean equations. Both are handled by the critical-pair completion method. In future, we will present a flexible programming environment for constraint programming by providing a plurality of constraint solvers in the system.
in IPSJ SIGNotes SYMbol manipulation Abstract No.047 - 001 view details
|