- Using the Prolog IDE
The PDT offers the possibility to integrate user-defined Prolog analyses and their results into the Eclipse UI. The view Prolog Analyses lists all available analyses and their results. For each result of an analysis a so called marker is created. These markers are visible in the editor and in the navigator, just like the markers created for Prolog warnings and errors.
The integration of a Prolog analysis is done by providing clauses for a few multifile predicates. The PDT Tutorial project contains a small example which demonstrates this integration.
There are two subpages which explain: