The resultant search algorithm can be a mixture of depth-first and breadth-first search, avoiding infinite search paths. An advanced feature, referred to as debugging on the tree, provides the user with the ability to insert break-points directly on the SLD tree, to choose the path of execution, and change the search mode. This software aims itself to those who wish to observe the actual process of predicate unification, substitution, resolution and goal matching in a Prolog program and to visually interact with the interpreter using a highly friendly and pleasing user interface. At this point the “snapshot” can be scrutinized with the help of break-points and data displays. The program execution may be viewed without interruption or the execution can be stopped at any moment in time. SWI-Prolog is widely used in research and education as well as commercial applications. Since its start in 1987, SWI-Prolog development has been driven by the needs of real world applications.
#COMMENT UTILISER VISUAL PROLOG MANUAL#
This manual is intended for people that are familiar with Prolog. SWI-Prolog offers a comprehensive free Prolog environment. The user visualizes the execution of a pure Prolog program and interacts with the program inside a windowing environment. That means that it documents the system, but it does not explain the basics of the Prolog language and it leaves many details of the syntax, semantics and built-in primitives undefined where SWI-Prolog follows the standards. The visual debugger incorporates the graphical visualization and the manipulation of the SLD resolution tree. The interpreter performs the operations of parsing, unification, resolution, and search in a state-space representation of the Prolog program. They do not incorporate, however, a comprehensive visual debugger. Finally, an IDE with all the features you need, having a consistent look, feel and operation across platforms. It is designed to be very extensible and fully configurable. Most of the available Prolog interpreters contain some tracing facilities. Code::Blocks is a free, open-source, cross-platform C, C++ and Fortran IDE built to meet the most demanding needs of its users. This work involves the design and coding of an interpreter for pure Prolog and building a visual debugger for it.