Zilonis Tutorial 1

Working with Zilonis

To start Zilonis, double-click on the Zilonis.sh file.  You’ll get the Zilonis Analysis Tool.



Clicking the bottom-right icon will take you to the Zilonis shell, a window with nothing in it but the command prompt $.

For the time being, this is where you type in your commands and programs. To exit Zilonis, shut down the program like any other windows application.
Here is a list of some important commands:

(retractAll)	Removes all the facts from the current Scope.
(run)	Starts executing a Zilonis program in the current Scope.

Note that Zilonis commands are always encased in "parenthesis" thus: (deffact (foo)). This is what is known as s-expressions.

Continue with Rules and Facts