4 research outputs found
Computer simulation of the effects of ventricular interdependence on indices of left ventricular systolic function
Mitral regurgitation determined by radionuclide cardiography: dependence on posture and exercise.
Constraint Logic Programming
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming;
it attracts the interest of theoreticians and practitioners, and
it is currently used in many commercial applications.
Since the original proposal, it has developed enormously: many languages and systems are now
available either as open source programs
or as commercial systems.
Also, CLP has been one of the technologies
able to recruit researchers from other communities to the
declarative programming cause.
Current CLP engines include technologies and results
developed in other communities, which themselves discovered logic as an invaluable tool
to model and solve real-life problems