VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content

2006 ◽  
pp. 148-156 ◽  
Author(s):  
Jorge Coelho ◽  
Mário Florido
Keyword(s):  
Logic Programming ◽  
Constraint Logic Programming ◽  
Programming Approach ◽  
Website Content

CONSTRAINT LOGIC PROGRAMMING APPROACH OF NETWORK FLOW PROBLEMS WITHIN A DECISION SUPPORT SYSTEMS GENERATOR FOR TRANSPORTATION PLANNIG

1998 ◽  
Vol 07 (04) ◽  
pp. 453-462
Author(s):  
CRISTINA FIERBINTEANU
Keyword(s):  
Decision Support ◽  
Logic Programming ◽  
Decision Support Systems ◽  
Network Flow ◽  
Support Systems ◽  
Constraint Logic Programming ◽  
Programming Approach ◽  
Network Flow Problems ◽  
Constraint Solver ◽  
Flow Problems

In this paper we propose a model of a decision support systems (DSS) generator for unstructured problems. The model is developed within the constraint logic programming (CLP) paradigm. At the center of the generator there is an ontology defining the concepts and relationships necessary and sufficient to describe the domain to be reasoned about, in a manner suitable for a particular class of tasks. The constraint solver of the constraint logic programming host language has to be extended with constraints which are relevant to the domain studied, but can not be found among the general constraints provided by the constraint solver. The domain of transportation planning was chosen to illustrate the proposed concept of DSS generator for ustructured problems. In this case we need to extend the constraint solver with constraint manipulation techniques specific to network flow problems. This paper presents in detail our constraint logic programming approach of network flow problems.

Sign in / Sign up

Export Citation Format

Share Document