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