Conditional rewriting
Nachum Dershowitz, David A. Plaisted · ACM SIGSOFT Software Engineering Notes · 1985
computation bJ generating consequences, may be combined in a single program. Therein lies the power of the proposed l:mguage. Related work includes [Barbutti,etal.-85, Chester-3D, Robinson-Sibert-82, Komorowski-82, Goguen-lI,feseguer-84, Malachi-Manna-Waldinger-84, Fribourg-84, Reddy-8;:;]. In the next section we consider functional programming using simplification and rewriting, and in the section that follows we consider logic programming using unification and narrowing. 1.