Hi -
I'm running SWI-Prolog (Multi-threaded, 32 bits, Version 5.6.55) under Ubuntu (8.10) on a Mac, and run into some problems when I try to save an executable using qsave_program. The system is fairly large, but loads and compiles fine, but when I call qsave_program, this call then just doesn't terminate. This behavior happens not very often, and seems to be unpredictable (e.g., removing a second clause from one predicate lets it terminate, but replacing the body of the same clause simply by 'true' still causes non-termination) but it is repeatable.
As far as I can tell, I have explicitly loaded all libraries that autoload would find.
At this time, I'm at a loss - I don't even know where to look further. Is this a known issue? I'm new to Mac and Ubuntu (so this might just simply be a configuration / installation issue), but have used SWIPL under redhat for many years, and never ran into this problem before.
Any hints greatly appreciated,
-- fisch
