Interactive narseses editor mode

[PtrMan]

auto-completion/GUI interaction

The GUI could interact directly with the user for a GUI narsese autocompletion

features

• styling/coloring
• fast interactive writing of narsese in the GUI/IDE

example

user presses < (for statement)

<_ _ _>

user presses > (for inheritance)

<_ --> _>

user presses < (for statement)

<<_ _ _> --> _>

user presses < (for similarity)

<<_ <-> _> --> _>

user presses banana

<<banana <-> _> --> _>

user presses right

<<banana <-> _> --> _>

user presses [ (for property)

<<banana <-> [_]> --> _>

user presses green

<<banana <-> [green]> --> _>

user presses right

<<banana <-> [green]> --> _>

user presses now

<<banana <-> [green]> --> now>

commands (context dependent, the context can be either statement or term/product)
> : inheritance
< : similarity
=> : implication
=< : <=>
/> : =/>
* : product
// : (&/,
+ : +time

{ : {}
] : []