Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    Rewriting as a Unified Specification Tool for Logic and Control: The ELAN Language

    2nd International Workshop on the Theory and Practice of Algebraic Specifications

    Amsterdam, 25th - 26th September 1997


    P. Borovansky, C. Kirchner & H. Kirchner


    We introduce computational systems to formalise the notion of rewriting directed by user defined strategies.

    This provides a semantics for ELAN, an environment dedicated to prototype, experiment and study the combination of different deduction systems for constraint solving, theorem proving and logic programming paradigms.

    Formally, a computational system can be represented as a rewrite theory in rewriting logic together with a notion of strategy to select relevant computations.

    We show how conveniently the strategies can also be specified using again computational systems.

    Several non-trivial examples of strategy description are described including a search space library and its use for solving problems like game winning strategies.


    PDF filePDF Version of this Paper (128kb)