SD-Solver: Towards a "Multidirectional" CLP-Based Simulation Tool: Framework and Short Financial Examples.

SD-Solver is a general purpose simulation environment grounded on the Constraint Logic Programming technology. Its main aim is to facilitate the development of Decision Support Systems based on dynamic models. Using SD-Solver, forward and backward simulations can be performed-to some extent-on the basis of a single model. This paper outlines the underlying framework and presents the most important aspects of SD-Solver using two elementary financial examples. Citation Copyright 1996 by Kluwer Academic Publishers.