Parallel objects on distributed constraint logic programming machines

1988 ◽  
Author(s):  
J. F. Koegel
Keyword(s):  
Logic Programming ◽  
Constraint Logic Programming

Constructive negation and constraint logic programming with sets

2001 ◽  
Vol 19 (3) ◽  
pp. 209-255 ◽  
Author(s):  
Agostino Dovier ◽  
Enrico Pontelli ◽  
Gianfranco Rossi
Keyword(s):  
Logic Programming ◽  
Constraint Logic Programming ◽  
Constructive Negation

scholarly journals Optimal placement of valves in a water distribution network with CLP(FD)

2011 ◽  
Vol 11 (4-5) ◽  
pp. 731-747 ◽  
Author(s):  
MASSIMILIANO CATTAFI ◽  
MARCO GAVANELLI ◽  
MADDALENA NONATO ◽  
STEFANO ALVISI ◽  
MARCO FRANCHINI
Keyword(s):  
Logic Programming ◽  
Distribution Systems ◽  
Water Distribution ◽  
Distribution Network ◽  
Real Life ◽  
Water Distribution Network ◽  
Distribution Networks ◽  
Constraint Logic Programming ◽  
Optimal Placement ◽  
Isolation System

AbstractThis paper presents a new application of logic programming to a real-life problem in hydraulic engineering. The work is developed as a collaboration of computer scientists and hydraulic engineers, and applies Constraint Logic Programming to solve a hard combinatorial problem. This application deals with one aspect of the design of a water distribution network, i.e., the valve isolation system design. We take the formulation of the problem by Giustolisi and Savić (2008 Optimal design of isolation valve system for water distribution networks. InProceedings of the 10th Annual Water Distribution Systems Analysis Conference WDSA2008, J. Van Zyl, A. Ilemobade, and H. Jacobs, Eds.) and show how, thanks to constraint propagation, we can get better solutions than the best solution known in the literature for the Apulian distribution network. We believe that the area of the so-calledhydroinformaticscan benefit from the techniques developed in Constraint Logic Programming and possibly from other areas of logic programming, such as Answer Set Programming.

Sign in / Sign up

Export Citation Format

Share Document