@article {IOPORT.02198449, author = {Creemers, T. and Riera, J. and Tourouta, E.N.}, title = {Constraint logic programming for fault-tolerant distributed systems.}, year = {1998}, journal = {Journal of Computer and Systems Sciences International}, volume = {37}, number = {5}, issn = {1064-2307}, pages = {689-698}, publisher = {Maik Nauka/Interperiodica, Moscow; Pleiades Publishing, Tortola; Springer, Secaucus, NJ}, abstract = {Summary: This paper presents key notions of Constraint Logic Programming (CLP), which is a young programming paradigm oriented toward solving difficult discrete highly combinatorial problems by making active use of constraints on the basis of mechanisms of Logic Programming. Being the subject of intensive research all over the world, CLP has already been used successfully in a large variety of application areas. As one of the important applications where CLP demonstrates its potential, we propose CLP-based procedures of solving the problems of optimal resource and task allocation at the stages of design and operation of Fault-Tolerant Distributed Technical Systems.}, identifier = {02198449}, }