Undefined procedure: prolog_ide_stack:predsort/3 about swipl-devel HOT 4 CLOSED

On 10/07/2014 08:20 AM, Chris Barrick wrote:

I get this error when using |gtrace/0| to debug code on Mac OS X in
version 7.1.23.

Hmmm. Works fine here using Mavericks and the binary installer. How
did you install SWI-Prolog? Could be that somehow the library index
is not correctly built. Start Prolog with sufficient rights to write
to the library directory and run

?- make.

This should print something like:

% Updating index for library /....

If not, try

?- absolute_file_name(swi(library), Dir, [file_type(directory), 

access(write)],
make_library_index(Dir).

Hope this helps.

Cheers --- Jan

Query:

?- gtrace, main.

Error:

|ERROR: prolog_ide_stack:display_levels/3: Undefined procedure: prolog_ide_stack:predsort/3
|

Goal stack:

| [65] generate_current_predicate(_G1929, _G1926, predsort)
[58] setof(_G1926:predsort, '$dwim':current_predicate(_G1929, _G1926:predsort), _G2222)
[54] setup_call_catcher_cleanup('$bags':'$new_findall_bag', '$bags':findall_loop(_G1904, '$messages':dwim_predicate(prolog_ide_stack:predsort, _G1904), _G1914, []), _G2222, '$bags':'$destroy_findall_bag')
[44] print_message(error, error(existence_error(procedure, prolog_ide_stack:predsort/3), context(prolog_ide_stack:display_levels/3, _G1871)))
[42] pce_principal:send(@17582044230985/prolog_debugger, show_stack([frame(708, call), frame(683, 52), frame(658, 52), frame(633, 52), frame(608, 52), frame(..., ...)|...], []))
|

C stack:

|C-stack trace labeled "INT":
[0] [...]/lib/swipl-7.1.23/lib/x86_64-darwin14.0.0/libswipl.dylib(save_backtrace+0x65) [0x104b1169f]
[1] [...]/lib/swipl-7.1.23/lib/x86_64-darwin14.0.0/libswipl.dylib(interruptHandler+0x230) [0x104acdaac]
[2] [...]/lib/swipl-7.1.23/lib/x86_64-darwin14.0.0/libswipl.dylib(dispatch_signal+0x371) [0x104ac969c]
[3] [...]/lib/swipl-7.1.23/lib/x86_64-darwin14.0.0/libswipl.dylib(handleSignals+0x84) [0x104ac92c2]
[4] [...]/lib/swipl-7.1.23/lib/x86_64-darwin14.0.0/libswipl.dylib(PL_next_solution+0x3c78) [0x104a70845]
[5] [...]/lib/swipl-7.1.23/lib/x86_64-darwin14.0.0/libswipl.dylib(PL_call_predicate+0x1c) [0x104a7f30e]
[6] [...]/lib/swipl-7.1.23/lib/x86_64-darwin14.0.0/libswipl.dylib(printMessage+0x179) [0x104a8ab55]
[7] [...]/lib/swipl-7.1.23/lib/x86_64-darwin14.0.0/libswipl.dylib(PL_next_solution+0x9d5b) [0x104a76928]
[8] [...]/lib/swipl-7.1.23/lib/x86_64-darwin14.0.0/libswipl.dylib(callProlog+0x14c) [0x104ab263c]
[9] [...]/lib/swipl-7.1.23/lib/x86_64-darwin14.0.0/libswipl.dylib(pl_notrace1+0x3f) [0x104ab24d7]
[10] [...]/lib/swipl-7.1.23/lib/x86_64-darwin14.0.0/libswipl.dylib(PL_next_solution+0x6ed4) [0x104a73aa1]
[11] [...]/lib/swipl-7.1.23/lib/x86_64-darwin14.0.0/libswipl.dylib(tracePort+0x932) [0x104acb509]
[12] [...]/lib/swipl-7.1.23/lib/x86_64-darwin14.0.0/libswipl.dylib(PL_next_solution+0xaa70) [0x104a7763d]
[13] [...]/lib/swipl-7.1.23/lib/x86_64-darwin14.0.0/libswipl.dylib(query_loop+0x13a) [0x104ab2255]
[14] [...]/lib/swipl-7.1.23/lib/x86_64-darwin14.0.0/libswipl.dylib(prologToplevel+0x51) [0x104ab285d]
[15] [...]/lib/swipl-7.1.23/lib/x86_64-darwin14.0.0/libswipl.dylib(PL_toplevel+0x1e) [0x104a7fbda]
[16] [...]/bin/swipl(main+0x35) [0x104a5ff1d]
[17] /usr/lib/system/libdyld.dylib(start+0x1) [0x7fff987185c9]
|

—
Reply to this email directly or view it on GitHub
#16.

from swipl-devel.

Thanks for the help! Unfortunately neither solution solves the problem.

I'm on the Yosemite beta and built SWI with brew. This error message only comes up for me when I'm trying to trace starting at the entry point of my program, not for all traces. Unfortunately, I haven't been able to further isolate the cause of the message.

To be more descriptive, when I query ?- gtrace, main, the debugger window pops up, but the widgets within the window are not drawn. My terminal prints the message continuously until I abort. Once I abort, the window finishes drawing and alerts me that I'm trying to override the sort module, (an issue of which I was already aware).

The error doesn't really affect me other than that I can't use the graphical debugger for this particular program at the moment. I mainly reported this since the error references an undefined predicate somewhere in the underlying system and thought you should know.

from swipl-devel.

On 10/08/2014 03:57 AM, Chris Barrick wrote:

Thanks for the help! Unfortunately neither solution solves the problem.

I'm on the Yosemite beta and built SWI with brew. This error message
only comes up for me when I'm trying to trace starting at the entry
point of my program, not for all traces. Unfortunately, I haven't been
able to further isolate the cause of the message.

To be more descriptive, when I query |?- gtrace, main|, the debugger
window pops up, but the widgets within the window are not drawn. My
terminal prints the message continuously until I abort. Once I abort,
the window finishes drawing and alerts me that I'm trying to override
the |sort| module, (an issue of which I was already aware).

Isn't that the problem? If you have a module 'sort' in your program,
the system cannot load library(sort) due to the module name conflict.
Thus it can't define predsort and is stuck. The Prolog module space
is flat. Possibly that should change, but it isn't obvious how to do
that without breaking a lot.

Cheers --- Jan

from swipl-devel.

Wow, that makes so much sense. Changing the module name fixes everything. Thank you so much for taking the time to help.

from swipl-devel.