The Relision Term Rewriting Library https://relision.stacyprowell.com/ 2026-05-09T16:19:42+00:00 https://relision.stacyprowell.com/ https://relision.stacyprowell.com/lib/exe/fetch.php?media=wiki:logo.png text/html 2020-11-21T18:03:59+00:00 Anonymous (anonymous@undisclosed.example.com) https://relision.stacyprowell.com/doku.php?id=rl:bindings&rev=1605981839&do=diff Bindings A *binding* is a special term that associates a variable name with another term. A binding has the following form. { bind $x -> 7, $y -> 21 } This represents binding the variable \$ to the value 7, and the variable \$y to the value 21 text/html 2020-11-16T20:26:55+00:00 Anonymous (anonymous@undisclosed.example.com) https://relision.stacyprowell.com/doku.php?id=rl:ebnf&rev=1605558415&do=diff EBNF for Relision Language (RL) text/html 2020-11-22T03:28:43+00:00 Anonymous (anonymous@undisclosed.example.com) https://relision.stacyprowell.com/doku.php?id=rl:literals&rev=1606015723&do=diff Literals RL provides the following literals. * Symbols * Strings * Numbers * Bit Strings Note that term literals are described elsewhere. An odd property of the literals is that, while each has a default type, you can override the type if you wish. Symbols text/html 2020-11-21T23:26:53+00:00 Anonymous (anonymous@undisclosed.example.com) https://relision.stacyprowell.com/doku.php?id=rl:metaterms&rev=1606001213&do=diff Metaterms A *metaterm* is a literal that represents a term. You can think of it as a fancy sort of string. Metaterms are created with the at symbol (@, U+0040). Consider a case where we need to know if a term is a variable. We might have an operator like text/html 2020-11-22T04:04:47+00:00 Anonymous (anonymous@undisclosed.example.com) https://relision.stacyprowell.com/doku.php?id=rl:primitives&rev=1606017887&do=diff Primitives RL admits some terms that receive special treatment. The Root of the Type System Every term has an associated type. This potentially infinite regress is broken by the special term ^ROOT, which is the root of the type system and is its own type. Any term whose type is text/html 2020-11-21T16:57:54+00:00 Anonymous (anonymous@undisclosed.example.com) https://relision.stacyprowell.com/doku.php?id=rl:variables&rev=1605977874&do=diff Variables A *variable* is indicated by a dollar sign (`$`, U+0024) followed by the variable name, which must be a symbol (either quoted or unquoted). The following are legal variables. $x $variable_name $a21 $'' $' * '