Constraint Programming & Planning - 6CFU

Vecchio nome: Linguaggi di Nuova Concezione

Prof. Agostino Dovier

Programma in corso:

A.A. 2010/2011

Programma svolto:

Links dove scaricare Software per il corso

Si tratta di utilizzare una implementazione di CLP (SICStus, B Prolog, GNU Prolog, SWI Prolog, ECLIPSE, etc) e un solver per Answer Set Programming (Smodels, Cmodels, clasp, etc).
I links aggiornati si trovano sulla rivista (on-line) ufficiale dell'Association for Logic Programming.

Indicazioni sull'Esame

Testi

A. Dovier, A. Formisano. Dispense per il corso
Krzysztof R. Apt and Mark Wallace. Constraint Logic Programming using Eclipse
R. Bartak On-line guide to constraint Programming.
K. Marriott and P. Stuckey. Programming with Constraints. The MIT Press, 1998.
K.R. Apt. Principles of constraint programming.Cambridge University Press, 2003.
L. Sterling and E. Shapiro. The Art of Prolog. 2nd ed., The MIT Press 1994,
Marco Gavanelli Un tool per produrre SLD (NF) trees pronti per il latex da computazioni ECLIPSE.
Articoli lasciati durante il corso, tra cui:

Joxan Jaffar, Michael J. Maher. Constraint Logic Programming: A Survey. Journal of Logic Programming, 1994.
Carlsson M., Ottosson G., Carlson B. An Open-Ended Finite Domain Constraint Solver Proc. Programming Languages: Implementations, Logics, and Programs, 1997.
V.A. Saraswat et al. Semantic Foundations of Concurrent Constraint Programming. Proceedings of 18th Annual ACM Symposium on Principles of Programming Languages. New York, 1991.
Lucidi su TCCP (by FRank Valencia)

T. Fruhwirth and S. Abdennadher. Essentials of constraint programming. Springer Verlag, 2002.
K.R. Apt. From Logic Programming to Prolog. International Series in Computer Science. Prentice Hall, 1997.