Bugzilla – Bug 28
cannot load my program
Last modified: 2012-03-04 13:31:37 CET
Created attachment 13 [details] it's the file that causes this problem. When I load my file lexSemTest.pl, attached below, the prolog (v.6.1.2) entered an infinite loop and showed repetitively the following error message: ERROR: Trapped signal 11 (general protection fault), aborting ... Unknown message: frame(100,backtrace,foreign) Unknown message: frame(85,backtrace,5) Unknown message: frame(65,backtrace,2) Unknown message: frame(56,backtrace,12) Unknown message: frame(48,backtrace,0) ERROR: Trapped signal 11 (general protection fault), aborting ... Unknown message: frame(100,backtrace,foreign) Unknown message: frame(85,backtrace,5) Unknown message: frame(65,backtrace,2) Unknown message: frame(56,backtrace,12) Unknown message: frame(48,backtrace,0) ERROR: Trapped signal 11 (general protection fault), aborting ... Unknown message: frame(100,backtrace,foreign) Unknown message: frame(85,backtrace,5) Unknown message: frame(65,backtrace,2) Unknown message: frame(56,backtrace,12) Unknown message: frame(48,backtrace,0) .... It goes on and on....
Well, first of all, Terms like H1(X) are invalid. A functor name cannot be a variable. Use =.. to create a term from an unknown functor. E.g., Term =.. [H1,X]. I cannot reproduce the crash (trying 6.1.2 on 64-bit Windows 7). Second candidate are the chinese (?) charaters in the last clause (which should have :- rather than :, I presume). This is a bit hard for me to test as I do not have a Chinese Windows. What encoding is this file? If I knew, I could recode it to UTF-8 and try again. Cheers --- Jan