Logiweb aspects of {MissingArg} term minus {MissingArg} end minus in pyk

Up Help

The predefined "pyk" aspect

define pyk of x term minus x end minus as text unicode start of text unicode quotation mark unicode space unicode small t unicode small e unicode small r unicode small m unicode space unicode small m unicode small i unicode small n unicode small u unicode small s unicode space unicode quotation mark unicode space unicode small e unicode small n unicode small d unicode space unicode small m unicode small i unicode small n unicode small u unicode small s unicode end of text end unicode text end text end define

The predefined "tex" aspect

define tex of var x term minus var y end minus as text unicode start of text unicode number sign unicode one unicode period unicode newline unicode backslash unicode small b unicode small a unicode small c unicode small k unicode small s unicode small l unicode small a unicode small s unicode small h unicode space unicode backslash unicode left brace unicode space unicode number sign unicode two unicode period unicode newline unicode backslash unicode right brace unicode end of text end unicode text end text end define

The predefined "value" aspect

define value of var x term minus var y end minus as tagged if var x is atomic then var y tagged guard the empty set else tagged if var y term equal var x head then var x tail else var x head pair var x tail term minus var y end minus end if end if end define