Screenshots

This page presents some screenshots from tuProlog for Android, tuProlog for Java 2.4, and the Eclipse plug-in.

tuProlog for Android (first prototype)

The tuProlog for Android GUI, in the current beta version:

tuProlog 2.4

The tuProlog GUI with the new Exceptions tab, where all exception handling messages are reported.

Exception notifications can also be switched off, getting back the "classical" tuProlog behaviour.

When an exception is raised, the tab is blue-highlighted to recall attention (see below).

If the engine halts due to an unhandled exception, the tab is red-highlighted and the "halt" message is displayed.

The new configuration dialog is cleaner, split in logical sectors, and provides the new "Exception notification" control.

Eclipse plug-in

Creating a new tuProlog project and, inside it, a new tuprolog theory

Results can be seen in several wiews: a) the tuProlog console view, which also reports the query result(s) as well as the corresponding variable bindings; b) the I/O view; c) the query list view; d) the Asbtract Syntax tree (AST) view.

The new Console separates results from I/O messages

Pressing the "Solve" button automatically binds the current query to the engine scope, leading to an effective and responsive interaction

A more detailed view over the "All bindings" dialog

Syntax highlighting has been largely improved, and now shows errors in the typical Eclipse style. Support for dynamical operators has also been added

Warnings have been added to highlight undeclared terms -- that is, terms that cannot be resolved in the current theory

The dynamically-expandable AST view