| |
With the project manager it is possible to work with a collection of separate files as a single project. A project file stores the list of files present in a project and per file the module name and a open mode is also stored. The module name is the name assigned to a compiled file, see also: Prolog modules. The open mode determines if clauses may be asserted to, retracted from a module.
A project file also contains various settings that influence the behavior of Prolog Programs. To open the dialog window to view or edit these settings press the right mouse button over the project window and select Project settings window. The Prolog settings stored in a project file are applied if a project is opened.
It is possible with the Project settings window to specify an
active module and a goal to prove when a project is run. To run a project press the 
button.
Add a file to a project. see also: Add file window
Remove the current selected project file from the project.
View the content of the current file in the text editor.
Either compile the selected file or all files in the project. With the dropdown menu of
this button it is possible to define its behavior.
Either remove the module of the selected file or all modules of files in the project. With
the dropdown menu of this button it is possible to define its behavior.
Run the project goal, in the Project settings window it is
possible to specify an active module and a goal to prove. By pressing the Run button the
selected module is activated and the proving of the Project goal is started.
Open the dialog with project settings.
Module
If the file in the same row of the grid will be compiled then the module will
have the name in this column. Each module must have a unique name.
Mode
The mode of the module is displayed here, if the mode displayed is 'read' then no
clauses can be asserted to or retracted from the module, if the mode is 'read/write' then
clauses can be asserted or retracted.
File
The complete filename of the file is displayed in this column.
see also: Add file window Project settings window
New in
R3B: the project manager uses relative filepaths, all filepaths inside a project are
relative to the location of the project file. It is possible to specify a goal and a
module to run a project.