A Gentle Guide to Constraint Logic Programming via ECLiPSe [3rd ed.]

Contents......Page 3 Figures......Page 9 Tables......Page 13 Main Assumptions......Page 15 What is in the Book......Page 17 How to use the Book......Page 22 What is CLP......Page 27 Why use CLP......Page 28 Constraints......Page 31 CLP & AI......Page 32 CLP & Operations Research......Page 34 CLP & Knowledge Engineering......Page 35 Classifying Problems......Page 36 Prolog Basics......Page 39 Configuration Problems......Page 66 Optimum Configuration Problems......Page 73 Assignment Problems......Page 76 Sequencing Problems......Page 101 Optimum Sequencing Problems......Page 116 Exercises......Page 128 Elementary Predicates......Page 139 How CLP differ from Prolog......Page 140 Search Heuristics......Page 146 Consistency Techniques......Page 149 Propagating Constraints with Failure......Page 150 Successful Constraints Propagation......Page 155 Propagation is most often not enough......Page 169 Exercises......Page 178 Introductory Remarks......Page 185 alldifferent/1 built-in......Page 186 element/3 built-in......Page 188 Feasible Assignment Problems......Page 190 Feasible Timetabling......Page 207 Data Handling......Page 221 More Feasible Assignment Problems......Page 234 Feasible Sequencing......Page 248 Exercises......Page 262 General Optimization Approaches......Page 271 Branch-and-bound......Page 272 Upgrading......Page 273 Basic Built-ins......Page 277 Simple Example......Page 280 Optimum Configuration Problems......Page 282 Optimum Assignment Problems......Page 306 Advanced Optimum Assignment Problems......Page 328 Optimum Timetabling Problems......Page 343 Optimum Sequencing Problems......Page 359 Exercises......Page 372 Introduction......Page 383 cumulative/4 built-in......Page 384 Cumulative Scheduling 1......Page 386 Cumulative Scheduling 2......Page 387 Cumulative Sequencing......Page 389 disjunctive/2 built-in......Page 392 Disjunctive Sequencing......Page 393 Disjunctive Scheduling......Page 396 disjoint2(Rectangles) built-in......Page 397 Assembly Line Balancing......Page 399 Reading Newspapers 1......Page 402 Reading Newspapers 2......Page 406 Reading Newspapers 3......Page 411 Assembling Bicycles......Page 415 Ship Unloading & Loading......Page 429 What is a Job-Shop......Page 434 Job-Shop Scheduling Problem - Benchmark MT6......Page 438 Difficult Job-Shop Scheduling Problem - Benchmark MT10......Page 442 Traveling Salesman Problems......Page 456 Appendices......Page 467 Exercises......Page 468 CCSP & CCOP......Page 473 Blessing & Curse of Compound Interest......Page 475 Warehouse-Suppliers......Page 483 Refining & Blending Oils......Page 487 How to make easy Money......Page 489 Making shrewd Investments......Page 492 Yet another financial Perpetuum Mobile......Page 497 Exercises......Page 505 Afterword......Page 515 Glossary......Page 516 Biblio......Page 525 Index......Page 530