CONSTRAINT LOGIC PROGRAMMING FOR FAULT-TOLERANT DISTRIBUTED SYSTEMS

This paper presents key notions of Constraint Logic Programming (CLP), which is a young programming paradigm oriented toward solving difficu lt discrete highly combinatorial problems by making active use of cons traints on the basis of mechanisms of Logic Programming. Being the sub ject of intensive research all over the world, CLP has already been us ed successfully in a large variety of application areas. As one of the important applications where CLP demonstrates its potential, we propo se CLP-based procedures of solving the problems of optimal resource an d task allocation at the stages of design and operation of Fault-Toler ant Distributed Technical Systems.