Fidji Pre-Alpha Tour

Starting up

After doubleclicking fidji.jar you should see the Flora console / listener:

The File menu lets you open a Flora or Prolog file for editing, as well as loading it:

Loading a file and running a query

The text editor knows some basics about Flora and Prolog syntax. From there you can _load or _add:

After loading you can either go to the Listener window's Tools Menu / Flora Query, or from the editor select a complete query and execute it:

Fidji opens up the Flora Query window (or Prolog's if you happen to be editing a Prolog file) and executes it:

To get the above layout doubleclick the divider between column titles. Right-clicking on an answer lets you see its justification:

Justifications

At the moment Fidji justifications are spartan and positive (only). All nodes are true answers. They're shown lazily top-down as you expand nodes:

Back to the Query Window, after loading another Flora program, let's apply radial restraint:

Radial Restraint and Undefinedness

By default queries are bounded in call and answer depth - see the tooltip for "Normal terms". After executing a non terminating even(?X) query you get an undefined answer, shown in grey, with a different menu:

In the console you can see the cause for this particular undefined answer. Other reasons are negative_loops, etc.

Table dumping

The Tools menu in the listener window has a "Browse Tables" item, which opens up a lazy table browser:

The browser tree has only 3 levels:

1. At the top level you get table (predicate) names. Incremental tables are orange.
2. At the second level, subgoals. Subgoals with answers are green, failed subgoals are red.
3. Finally, answers (green).

Prolog functionality

The listener Tools menu also gives access to Prolog-related functionality - namely the ability to change the listener shell to XSB's, and back to Flora, without disrupting the overall functionality - queries etc. run in the proper language. The Interrupt Prolog item is NOT working at the moment.