Demo Applet for CGIF Parser and ELF Generator Components of Notio
Last Modified: 98/06/26
This applet demonstrates the CGIF parsing and ELF generating components of the
Notio package. This top text area is the input area and the bottom text are
is the output area. Typing (or pasting) a CGIF expression into the input area
and pressing the "Test" button will cause the input to be printed in the
output area, activate the parser which will construct the appropriate data
structures, and then generate an equivalent ELF expression.
The original expression and the generated
version will be separated by a line of arrows. Any exceptions thrown during
parsing or generating will be displayed in the output area. The input and
output areas may be clear by pressing the appropriate buttons.
Here are some sample expressions which may be copied and pasted into the input
area:
- []
- [Dog'Molly']
- [Dog*x'Molly'][Man*y'Arthur'](Loves?x?y)
- [Dog*x'Molly'][Man*y'Arthur'][Bone*z](Loves?x?y)(Throws?y?z)(Catches?x?z)
- [Dog*x{'Molly','Alice'}][Man*y'Arthur'](Loves?x?y)
- [Dog*x;This is a comment about this concept][Man*y'Arthur'](Loves?x?y)
- [Man*x'Arthur'][Woman*y'Arthur\'s Wife'](Loves?x?y)(Loves?y?x)
- [Dog*x](Loves?x[Bone])
- [Dog*x][Man*y](Loves?x[Bone*z])(Throws?y?z)
- (Loves[Dog][Bone])
- (Loves[Dog][Bone*x])(Throws[Man]?x)
- [Dog*x][Man*y]<ActsOn?x|?y>