atrs2ARI

A browser app that converts applicative term rewrite systems into ARI format.

Input

Naming convention is Prolog-like: Uppercase identifiers are variables, otherwise function symbols.

ARI Output