SARA : a Small Automated Reasoning Assistant
Description:
SARA is a rewriting system where the rewrite rules are heads of Horn clauses. Thus an expression is rewritten only when the conjunction of goals in the body of the Horn clause is true. The system has a model of rewriting as construction of a linked graph with expressions annotating nodes and rewritings annotating arcs. Cycles in the graph are recognized and may be specially processed by the user. The default is to use an alternative rewriting rule to break out of this cycle.
Date:
1986
Creator:
Gabriel, John R.
Item Type:
Refine your search to only
Report
Partner:
UNT Libraries Government Documents Department