Terms

©1998 Research Institute for Symbolic Computation (RISC-Linz)

NO WARRANTY

Package Description

This package contains commands for handling terms. 

[Graphics:Termsgr2.gif][Graphics:Termsgr1.gif]

Usage

[Graphics:Termsgr2.gif][Graphics:Termsgr3.gif]

[Graphics:Termsgr2.gif][Graphics:Termsgr4.gif]

[Graphics:Termsgr2.gif][Graphics:Termsgr5.gif]

[Graphics:Termsgr2.gif][Graphics:Termsgr6.gif]

[Graphics:Termsgr2.gif][Graphics:Termsgr7.gif]

[Graphics:Termsgr2.gif][Graphics:Termsgr8.gif]

[Graphics:Termsgr2.gif][Graphics:Termsgr9.gif]

[Graphics:Termsgr2.gif][Graphics:Termsgr10.gif]

[Graphics:Termsgr2.gif][Graphics:Termsgr11.gif]

[Graphics:Termsgr2.gif][Graphics:Termsgr12.gif]

[Graphics:Termsgr2.gif][Graphics:Termsgr13.gif]

[Graphics:Termsgr2.gif][Graphics:Termsgr14.gif]

[Graphics:Termsgr2.gif][Graphics:Termsgr15.gif]

[Graphics:Termsgr2.gif][Graphics:Termsgr16.gif]

[Graphics:Termsgr2.gif][Graphics:Termsgr17.gif]

Implementation

Begin

[Graphics:Termsgr2.gif][Graphics:Termsgr18.gif]

[Graphics:Termsgr2.gif][Graphics:Termsgr19.gif]

Function Symbol Declarations

Function Recognizers

Term Recognizers

End

[Graphics:Termsgr2.gif][Graphics:Termsgr110.gif]

[Graphics:Termsgr2.gif][Graphics:Termsgr111.gif]

[Graphics:Termsgr2.gif][Graphics:Termsgr112.gif]