I’m using: SWI-Prolog version 8.1.13 When I attempt to trace within one particular program, the process hangs. At the bottom it says, “Cross referencing buffer”. After about 10 minutes it finishes cross-referencing and I can see the trace. I suspect the cause is goal_expansion stuff. Given that…

I’m afraid there is little I can do without a complete program that can be run. A hypothesis could be that your expansion depends on the order of loading and cannot be called anymore on the final system. Note that you can test for the Prolog flag xref, which is true if term expansion is called on…

I assume the cause is the algorithmic complexity of something in the cross-referencing, and a small program simply would not show the problem. I could give access to our program for diagnostic purposes. I do not understand your suggestion to “test for the Prolog flag”. Suppose I test it and it sa…

[image] abaljeu: How does that help me? You may not want to do some expansions at all when called from the cross-referencer and other IDE tools. So, quite some expansions have goal_expansion(X, Y) :- \+ current_prolog_flag(xref, true), ...

[image] jan: You may not want to do some expansions at all when called from the cross-referencer and other IDE tools. The idea that a tool such as a cross-referencer can have unintended consequences for an application semantics and that it’s the application job to prevent it is troublesome an…

GUI debugger hangs

Help!

Topic		Replies	Views
Prolog inline predicates Split Topic discussion	28	2390	February 28, 2023
Debugger cross-referrencing buffer Help!	3	317	February 18, 2019
How to get to a fixed point with goal expansion? Help!	18	1316	April 28, 2019
Generating xref info with term expansions? Resources	9	1162	January 15, 2020
Stacktrace after hitting t S u while browsing through query solutions General bug	3	348	November 13, 2023

GUI debugger hangs

Related topics