|
Sierraplus is a variation of the Sierralite IDE for Epilog with elementary tools for satisfying relational constraints. In this first, exploratory version of Sierraplus, there is just one methods - residue (abduction).
Click the Rules and Data buttons to show or hide the Rules and Data panes. Click the tool buttons in the center of the command bar to show or hide interaction panes for various tools. Click the About button above to show or hide this pane. To get started, enter rules and data in the Rules and Data panes and click the tools buttons to process your data and rules.
|
