Wolfgang Jeltsch wrote:
> according to
>
> http://www.informatik.uni-kiel.de/~mh/curry/listarchive/0317.html,
>
> PAKCS and MCC allow constraint-based programming. For PAKCS, there are the
> modules CLPFD and CLPR but I couldn't find any mention of constraint solver
> modules in the MCC documentation. What did I miss?
Interesting question. The extension of MCC by real arithmetic
constraints is described in
_at_INPROCEEDINGS{Lux01,
author = {Lux, W.},
title = {Adding Linear Constraints over Real Numbers to Curry},
year = {2001},
booktitle = {Proc.\ of the 5th International Symposium on Functional and Logic Programming (FLOPS 2001)},
pages = {185-200},
publisher = {Springer LNCS 2024} }
but it seems that this extension is not part of the MCC distribution.
Best regards,
Michael
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mo Okt 10 2005 - 12:55:44 CEST