28 2012-03-04 02:08:00 +0100 cannot load my program 2012-03-04 13:31:37 +0100 1 1 1 Unclassified SWI-Prolog core unspecified PC Windows CONFIRMED Highest critical --- 1 lngwujs bugs 84 13 lngwujs 2012-03-04 02:08:35 +0100 Created attachment 13 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.... 85 bugs 2012-03-04 13:31:37 +0100 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 13 2012-03-04 02:08:00 +0100 2012-03-04 02:08:35 +0100 it's the file that causes this problem. lexSemTest.pl application/octet-stream 835 lngwujs 77u/Y2hpTGV4U2VtKFtdKS4NCg0KY2hpTGV4U2VtKFtIMSwgSDJ8VGFpbF0sIFJlc3VsdCkgOi0N CiAgICBuYW1lKFdvcmQsIEgxKSwNCiAgICBuYW1lKFBvcywgSDIpLA0KICAgIGNoaUxleFNlbUF1 eChXb3JkLCBQb3MsIExhbWJkYUxleFNlbSksDQogICAgKG1lbWJlcihMYW1iZGFMZXhTZW0sIFJl c3VsdCksIFJlc3VsdCA9IFRhaWwyOw0KICAgICBSZXN1bHQgPSBbTGFtYmRhTGV4U2VtfFRhaWwy XSksDQogICAgY2hpTGV4U2VtKFRhaWwsIFRhaWwyKS4NCiAgICANCg0KY2hpTGV4U2VtQXV4KEgx LCAnTmEnLCBuYShsYW0oWChIMShYKSkpKSAtLT4gW0gxXSkuDQpjaGlMZXhTZW1BdXgoSDEsICdO YicsIG5iKEgxKSAtLT4gW0gxXSkuDQpjaGlMZXhTZW1BdXgoSDEsICdOYycsIG5jKGxhbShYLCAo SDEoWCkpKSkgLS0+IFtIMV0pLg0KY2hpTGV4U2VtQXV4KEgxLCAnTmQnLCBuZChsYW0oWCwgKEgx KFgpKSkpIC0tPiBbSDFdKS4NCmNoaUxleFNlbUF1eChIMSwgJ05kJywgbmQobGFtKFAsIGxhbShY LCBzb21lKEUsYW5kKEgxKEUpLCBhcHAoYXBwKFAsIFgpLCBFKSkpKSkpIC0tPiBbSDFdKS4NCg0K DQpjaGlMZXhTZW1BdXgoSDEsICdWQScsIHZhKGxhbShYLCBsYW0oRSwgSDEoWCwgRSkpKSkgLS0+ IFtIMV0pLg0KDQpjaGlMZXhTZW1BdXgoSDEsICdWQycsIHZjKGxhbShYLCBsYW0oRSwgbGFtKFks IEgxKFksIFgsIEUpKSkpKSAtLT4gW0gxXSkuDQoNCg0KdGVzdF9jaGlMZXhTZW0wMSA6DQogICAg Y2hpTGV4U2VtKFsi5LyR6ZaS5rS75YuVIiwgWyJOYSJdLCBbIuacjeWLmealrSJdLCBbIk5hIl0s WyLphY3lkIgiXSwgWyJWQyJdXSwgUmVzdWx0KS4NCiAgICANCg==