DEMO 1
start
Enter command (? for help):
?
h
: help
?
: help
q
: exit
s
: perform a single inference step
g
: go; stop working interactively
m
: menu
e
: execute menu item
qe : enter a query
p
: print the graphs
The program was written using the Hugs interpreter that is compatible with Haskell 98. After starting winhugs and loading the program, the start command is given.
This slide shows the help function.