The Mathematica Journal
Departments
Feature Articles
Columns
New Products
New Publications
Classifieds
Calendar
News Bulletins
Mailbox
Letters
FAQ
Write Us
About the Journal
Staff and Contributors
Submissions
Subscriptions
Advertising
Back Issues
Home
Download this Issue
Volume 8, Issue 2
2001

The need for combining and making various constraint solvers cooperate is widely recognized. Such an integrated system would allow solving problems that cannot be solved by a single solver.

CFLP (Constraint Functional Logic Programming System) is a distributed software system consisting of a functional logic programming interpreter running on one machine and a number of constraint solving engines running on other machines.

The CFLP system is written entirely in Mathematica and uses the MathLink protocol for interprocess communication. The current implementation can solve problems expressible in functional logic and involving constraints such as systems of linear, polynomial, differential equations, and equations with invertible functions.

Download the article as a Mathematica notebook (246 KB)

View this Article as HTML

Additional Material

(If you don't have a copy of Mathematica, you can view the notebook using Mathematica Player.)


Copyright © 2001 Wolfram Media, Inc. All rights reserved.