GNU Prolog 1.4.5 (64 bits) fails

[mlliarm]

The GNU Prolog 1.4.5 (64 bits) backend fails with the following WARNING:

$ gplgt
GNU Prolog 1.4.5 (64 bits)
Compiled Feb  5 2017, 10:30:08 with gcc
By Daniel Diaz
Copyright (C) 1999-2016 Daniel Diaz
compiling /usr/share/logtalk/integration/logtalk_gp.pl for byte code...
/usr/share/logtalk/integration/logtalk_gp.pl compiled, 31 lines read - 402 bytes written, 13 ms
compiling /usr/share/logtalk/adapters/gnu.pl for byte code...
/usr/share/logtalk/adapters/gnu.pl compiled, 787 lines read - 31871 bytes written, 25 ms
compiling /usr/share/logtalk/paths/paths.pl for byte code...
/usr/share/logtalk/paths/paths.pl compiled, 299 lines read - 42004 bytes written, 29 ms
compiling /usr/share/logtalk/integration/logtalk_comp_gp.pl for byte code...
/usr/share/logtalk/integration/logtalk_comp_gp.pl compiled, 27241 lines read - 3982802 bytes written, 1208 ms
warning: /usr/share/logtalk/core/core.pl:27207: user directive caused exception: error(existence_error(procedure,'$lgt_default_flag'/0),'$lgt_cache_compiler_flags'/0)

and the following ERRORs:

| ?- logtalk_load(loader).
uncaught exception: error(existence_error(procedure,'$lgt_execution_context'/0),logtalk_load/0)
| ?- logtalk_load(tester).
uncaught exception: error(existence_error(procedure,'$lgt_execution_context'/0),logtalk_load/0)

[pmoura]

See https://github.com/LogtalkDotOrg/logtalk3/issues/73

[mlliarm]

Fixed as per Paulo's suggestion in to use GNU-Prolog 1.5.0:

GNU Prolog 1.5.0 (64 bits)
Compiled Jan 10 2022, 16:35:29 with gcc
Copyright (C) 1999-2022 Daniel Diaz

compiling /usr/share/logtalk/integration/logtalk_gp.pl for byte code...
/usr/share/logtalk/integration/logtalk_gp.pl compiled, 31 lines read - 402 bytes written, 11 ms
compiling /usr/share/logtalk/adapters/gnu.pl for byte code...
/usr/share/logtalk/adapters/gnu.pl compiled, 787 lines read - 31176 bytes written, 28 ms
compiling /usr/share/logtalk/paths/paths.pl for byte code...
/usr/share/logtalk/paths/paths.pl compiled, 299 lines read - 42021 bytes written, 29 ms
compiling /usr/share/logtalk/integration/logtalk_comp_gp.pl for byte code...
/usr/share/logtalk/integration/logtalk_comp_gp.pl compiled, 27241 lines read - 3898810 bytes written, 1136 ms
compiling /home/milia/logtalk/scratch/expanding_248406029_lgt.pl for byte code...
/home/milia/logtalk/scratch/expanding_248406029_lgt.pl compiled, 27 lines read - 9590 bytes written, 12 ms
compiling /home/milia/logtalk/scratch/monitoring_248406029_lgt.pl for byte code...
/home/milia/logtalk/scratch/monitoring_248406029_lgt.pl compiled, 26 lines read - 9118 bytes written, 11 ms
compiling /home/milia/logtalk/scratch/forwarding_248406029_lgt.pl for byte code...
/home/milia/logtalk/scratch/forwarding_248406029_lgt.pl compiled, 21 lines read - 6266 bytes written, 16 ms
compiling /home/milia/logtalk/scratch/user_248406029_lgt.pl for byte code...
/home/milia/logtalk/scratch/user_248406029_lgt.pl compiled, 45 lines read - 9744 bytes written, 15 ms
compiling /home/milia/logtalk/scratch/logtalk_248406029_lgt.pl for byte code...
/home/milia/logtalk/scratch/logtalk_248406029_lgt.pl compiled, 310 lines read - 149981 bytes written, 55 ms
compiling /home/milia/logtalk/scratch/core_messages_248406029_lgt.pl for byte code...
/home/milia/logtalk/scratch/core_messages_248406029_lgt.pl compiled, 367 lines read - 268160 bytes written, 106 ms
compiling /home/milia/logtalk/scratch/settings_229838580_lgt.pl for byte code...
/home/milia/logtalk/scratch/settings_229838580_lgt.pl compiled, 25 lines read - 5518 bytes written, 13 ms
compiling /home/milia/logtalk/tools/tutor/.lgt_tmp/loader_201082787_lgt.pl for byte code...
/home/milia/logtalk/tools/tutor/.lgt_tmp/loader_201082787_lgt.pl compiled, 4 lines read - 1072 bytes written, 10 ms
compiling /home/milia/logtalk/library/basic_types/.lgt_tmp/loader_244474867_lgt.pl for byte code...
/home/milia/logtalk/library/basic_types/.lgt_tmp/loader_244474867_lgt.pl compiled, 4 lines read - 1234 bytes written, 9 ms
compiling /home/milia/logtalk/library/types/.lgt_tmp/termp_36522154_lgt.pl for byte code...
/home/milia/logtalk/library/types/.lgt_tmp/termp_36522154_lgt.pl compiled, 71 lines read - 25137 bytes written, 14 ms
compiling /home/milia/logtalk/library/types/.lgt_tmp/term_36522154_lgt.pl for byte code...
/home/milia/logtalk/library/types/.lgt_tmp/term_36522154_lgt.pl compiled, 98 lines read - 37083 bytes written, 21 ms
compiling /home/milia/logtalk/library/types/.lgt_tmp/atomic_36522154_lgt.pl for byte code...
/home/milia/logtalk/library/types/.lgt_tmp/atomic_36522154_lgt.pl compiled, 31 lines read - 8864 bytes written, 12 ms
compiling /home/milia/logtalk/library/types/.lgt_tmp/atom_36522154_lgt.pl for byte code...
/home/milia/logtalk/library/types/.lgt_tmp/atom_36522154_lgt.pl compiled, 59 lines read - 25296 bytes written, 18 ms
compiling /home/milia/logtalk/library/types/.lgt_tmp/number_36522154_lgt.pl for byte code...
/home/milia/logtalk/library/types/.lgt_tmp/number_36522154_lgt.pl compiled, 67 lines read - 27535 bytes written, 18 ms
compiling /home/milia/logtalk/library/types/.lgt_tmp/float_36522154_lgt.pl for byte code...
/home/milia/logtalk/library/types/.lgt_tmp/float_36522154_lgt.pl compiled, 31 lines read - 8811 bytes written, 15 ms
compiling /home/milia/logtalk/library/types/.lgt_tmp/integer_36522154_lgt.pl for byte code...
/home/milia/logtalk/library/types/.lgt_tmp/integer_36522154_lgt.pl compiled, 70 lines read - 26050 bytes written, 23 ms
compiling /home/milia/logtalk/library/types/.lgt_tmp/compound_36522154_lgt.pl for byte code...
/home/milia/logtalk/library/types/.lgt_tmp/compound_36522154_lgt.pl compiled, 31 lines read - 9080 bytes written, 12 ms
compiling /home/milia/logtalk/library/types/.lgt_tmp/listp_36522154_lgt.pl for byte code...
/home/milia/logtalk/library/types/.lgt_tmp/listp_36522154_lgt.pl compiled, 276 lines read - 117668 bytes written, 38 ms
compiling /home/milia/logtalk/library/types/.lgt_tmp/list_36522154_lgt.pl for byte code...
/home/milia/logtalk/library/types/.lgt_tmp/list_36522154_lgt.pl compiled, 447 lines read - 173476 bytes written, 76 ms
compiling /home/milia/logtalk/library/types/.lgt_tmp/type_36522154_lgt.pl for byte code...
/home/milia/logtalk/library/types/.lgt_tmp/type_36522154_lgt.pl compiled, 338 lines read - 247345 bytes written, 85 ms
compiling /home/milia/logtalk/tools/tutor/.lgt_tmp/tutor_201082787_lgt.pl for byte code...
/home/milia/logtalk/tools/tutor/.lgt_tmp/tutor_201082787_lgt.pl compiled, 229 lines read - 174908 bytes written, 55 ms
| ?- logtalk_load(loader).
compiling /home/milia/Documents/dev/logtalk/ia/.lgt_tmp/loader_229838580_lgt.pl for byte code...
/home/milia/Documents/dev/logtalk/ia/.lgt_tmp/loader_229838580_lgt.pl compiled, 4 lines read - 1177 bytes written, 12 ms
compiling /home/milia/logtalk/library/types/.lgt_tmp/loader_36522154_lgt.pl for byte code...
/home/milia/logtalk/library/types/.lgt_tmp/loader_36522154_lgt.pl compiled, 4 lines read - 1281 bytes written, 10 ms
% [ /home/milia/logtalk/library/types/termp.lgt already loaded; skipping ]
% [ /home/milia/logtalk/library/types/term.lgt already loaded; skipping ]
% [ /home/milia/logtalk/library/types/atomic.lgt already loaded; skipping ]
% [ /home/milia/logtalk/library/types/atom.lgt already loaded; skipping ]
compiling /home/milia/logtalk/library/types/.lgt_tmp/callable_36522154_lgt.pl for byte code...
/home/milia/logtalk/library/types/.lgt_tmp/callable_36522154_lgt.pl compiled, 31 lines read - 9827 bytes written, 13 ms
% [ /home/milia/logtalk/library/types/callable.lgt loaded ]
compiling /home/milia/logtalk/library/types/.lgt_tmp/characterp_36522154_lgt.pl for byte code...
/home/milia/logtalk/library/types/.lgt_tmp/characterp_36522154_lgt.pl compiled, 125 lines read - 46540 bytes written, 24 ms
% [ /home/milia/logtalk/library/types/characterp.lgt loaded ]
compiling /home/milia/logtalk/library/types/.lgt_tmp/character_36522154_lgt.pl for byte code...
/home/milia/logtalk/library/types/.lgt_tmp/character_36522154_lgt.pl compiled, 169 lines read - 41255 bytes written, 26 ms
% [ /home/milia/logtalk/library/types/character.lgt loaded ]
% [ /home/milia/logtalk/library/types/number.lgt already loaded; skipping ]
% [ /home/milia/logtalk/library/types/float.lgt already loaded; skipping ]
% [ /home/milia/logtalk/library/types/integer.lgt already loaded; skipping ]
compiling /home/milia/logtalk/library/types/.lgt_tmp/natural_36522154_lgt.pl for byte code...
/home/milia/logtalk/library/types/.lgt_tmp/natural_36522154_lgt.pl compiled, 35 lines read - 11380 bytes written, 14 ms
% [ /home/milia/logtalk/library/types/natural.lgt loaded ]
% [ /home/milia/logtalk/library/types/compound.lgt already loaded; skipping ]
compiling /home/milia/logtalk/library/types/.lgt_tmp/pairs_36522154_lgt.pl for byte code...
/home/milia/logtalk/library/types/.lgt_tmp/pairs_36522154_lgt.pl compiled, 92 lines read - 34742 bytes written, 19 ms
% [ /home/milia/logtalk/library/types/pairs.lgt loaded ]
% [ /home/milia/logtalk/library/types/listp.lgt already loaded; skipping ]
% [ /home/milia/logtalk/library/types/list.lgt already loaded; skipping ]
compiling /home/milia/logtalk/library/types/.lgt_tmp/list1_36522154_lgt.pl for byte code...
/home/milia/logtalk/library/types/.lgt_tmp/list1_36522154_lgt.pl compiled, 35 lines read - 12793 bytes written, 15 ms
% [ /home/milia/logtalk/library/types/list1.lgt loaded ]
compiling /home/milia/logtalk/library/types/.lgt_tmp/difflist_36522154_lgt.pl for byte code...
/home/milia/logtalk/library/types/.lgt_tmp/difflist_36522154_lgt.pl compiled, 345 lines read - 169740 bytes written, 61 ms
% [ /home/milia/logtalk/library/types/difflist.lgt loaded ]
compiling /home/milia/logtalk/library/types/.lgt_tmp/numberlistp_36522154_lgt.pl for byte code...
/home/milia/logtalk/library/types/.lgt_tmp/numberlistp_36522154_lgt.pl compiled, 107 lines read - 47156 bytes written, 19 ms
% [ /home/milia/logtalk/library/types/numberlistp.lgt loaded ]
compiling /home/milia/logtalk/library/types/.lgt_tmp/numberlist_36522154_lgt.pl for byte code...
/home/milia/logtalk/library/types/.lgt_tmp/numberlist_36522154_lgt.pl compiled, 178 lines read - 75864 bytes written, 42 ms
% [ /home/milia/logtalk/library/types/numberlist.lgt loaded ]
compiling /home/milia/logtalk/library/types/.lgt_tmp/varlistp_36522154_lgt.pl for byte code...
/home/milia/logtalk/library/types/.lgt_tmp/varlistp_36522154_lgt.pl compiled, 135 lines read - 53072 bytes written, 24 ms
% [ /home/milia/logtalk/library/types/varlistp.lgt loaded ]
compiling /home/milia/logtalk/library/types/.lgt_tmp/varlist_36522154_lgt.pl for byte code...
/home/milia/logtalk/library/types/.lgt_tmp/varlist_36522154_lgt.pl compiled, 180 lines read - 69486 bytes written, 35 ms
% [ /home/milia/logtalk/library/types/varlist.lgt loaded ]
compiling /home/milia/logtalk/library/types/.lgt_tmp/comparingp_36522154_lgt.pl for byte code...
/home/milia/logtalk/library/types/.lgt_tmp/comparingp_36522154_lgt.pl compiled, 46 lines read - 15379 bytes written, 14 ms
% [ /home/milia/logtalk/library/types/comparingp.lgt loaded ]
% [ /home/milia/logtalk/library/types/type.lgt already loaded; skipping ]
% [ /home/milia/logtalk/library/types/loader.lgt loaded ]
compiling /home/milia/Documents/dev/logtalk/ia/.lgt_tmp/interval_arithmeticp_229838580_lgt.pl for byte code...
/home/milia/Documents/dev/logtalk/ia/.lgt_tmp/interval_arithmeticp_229838580_lgt.pl compiled, 51 lines read - 13995 bytes written, 12 ms
% [ /home/milia/Documents/dev/logtalk/ia/interval_arithmeticp.lgt loaded ]
compiling /home/milia/Documents/dev/logtalk/ia/.lgt_tmp/interval_arithmetic_229838580_lgt.pl for byte code...
/home/milia/Documents/dev/logtalk/ia/.lgt_tmp/interval_arithmetic_229838580_lgt.pl compiled, 68 lines read - 28339 bytes written, 16 ms
% [ /home/milia/Documents/dev/logtalk/ia/interval_arithmetic.lgt loaded ]
% [ /home/milia/Documents/dev/logtalk/ia/loader.lgt loaded ]
% (0 warnings)

(188 ms) yes

| ?- logtalk_load(tester).
compiling /home/milia/Documents/dev/logtalk/ia/.lgt_tmp/tester_229838580_lgt.pl for byte code...
/home/milia/Documents/dev/logtalk/ia/.lgt_tmp/tester_229838580_lgt.pl compiled, 4 lines read - 1389 bytes written, 10 ms
compiling /home/milia/logtalk/tools/lgtunit/.lgt_tmp/loader_8325212_lgt.pl for byte code...
/home/milia/logtalk/tools/lgtunit/.lgt_tmp/loader_8325212_lgt.pl compiled, 4 lines read - 1352 bytes written, 10 ms
compiling /home/milia/logtalk/library/os/.lgt_tmp/loader_219619627_lgt.pl for byte code...
/home/milia/logtalk/library/os/.lgt_tmp/loader_219619627_lgt.pl compiled, 4 lines read - 1113 bytes written, 9 ms
compiling /home/milia/logtalk/library/os/.lgt_tmp/osp_219619627_lgt.pl for byte code...
/home/milia/logtalk/library/os/.lgt_tmp/osp_219619627_lgt.pl compiled, 181 lines read - 75321 bytes written, 29 ms
compiling /home/milia/logtalk/library/os/.lgt_tmp/os_219619627_lgt.pl for byte code...
/home/milia/logtalk/library/os/.lgt_tmp/os_219619627_lgt.pl compiled, 231 lines read - 128630 bytes written, 58 ms
compiling /home/milia/logtalk/library/os/.lgt_tmp/os_types_219619627_lgt.pl for byte code...
/home/milia/logtalk/library/os/.lgt_tmp/os_types_219619627_lgt.pl compiled, 35 lines read - 19770 bytes written, 17 ms
compiling /home/milia/logtalk/library/arbitrary/.lgt_tmp/loader_7133456_lgt.pl for byte code...
/home/milia/logtalk/library/arbitrary/.lgt_tmp/loader_7133456_lgt.pl compiled, 4 lines read - 1245 bytes written, 8 ms
compiling /home/milia/logtalk/library/random/.lgt_tmp/loader_134467479_lgt.pl for byte code...
/home/milia/logtalk/library/random/.lgt_tmp/loader_134467479_lgt.pl compiled, 4 lines read - 1176 bytes written, 10 ms
compiling /home/milia/logtalk/library/random/.lgt_tmp/randomp_134467479_lgt.pl for byte code...
/home/milia/logtalk/library/random/.lgt_tmp/randomp_134467479_lgt.pl compiled, 109 lines read - 45436 bytes written, 21 ms
compiling /home/milia/logtalk/library/random/.lgt_tmp/random_134467479_lgt.pl for byte code...
/home/milia/logtalk/library/random/.lgt_tmp/random_134467479_lgt.pl compiled, 195 lines read - 111211 bytes written, 45 ms
compiling /home/milia/logtalk/library/random/.lgt_tmp/backend_random_134467479_lgt.pl for byte code...
/home/milia/logtalk/library/random/.lgt_tmp/backend_random_134467479_lgt.pl compiled, 157 lines read - 73628 bytes written, 34 ms
compiling /home/milia/logtalk/library/random/.lgt_tmp/fast_random_134467479_lgt.pl for byte code...
/home/milia/logtalk/library/random/.lgt_tmp/fast_random_134467479_lgt.pl compiled, 195 lines read - 101672 bytes written, 42 ms
compiling /home/milia/logtalk/library/arbitrary/.lgt_tmp/arbitrary_7133456_lgt.pl for byte code...
/home/milia/logtalk/library/arbitrary/.lgt_tmp/arbitrary_7133456_lgt.pl compiled, 604 lines read - 270366 bytes written, 97 ms
compiling /home/milia/logtalk/tools/lgtunit/.lgt_tmp/lgtunit_8325212_lgt.pl for byte code...
/home/milia/logtalk/tools/lgtunit/.lgt_tmp/lgtunit_8325212_lgt.pl compiled, 1608 lines read - 1006258 bytes written, 295 ms
compiling /home/milia/logtalk/tools/lgtunit/.lgt_tmp/lgtunit_messages_8325212_lgt.pl for byte code...
/home/milia/logtalk/tools/lgtunit/.lgt_tmp/lgtunit_messages_8325212_lgt.pl compiled, 128 lines read - 86323 bytes written, 36 ms
compiling /home/milia/Documents/dev/logtalk/ia/.lgt_tmp/interval_arithmeticp_229838580_lgt.pl for byte code...
/home/milia/Documents/dev/logtalk/ia/.lgt_tmp/interval_arithmeticp_229838580_lgt.pl compiled, 51 lines read - 14110 bytes written, 16 ms
compiling /home/milia/Documents/dev/logtalk/ia/.lgt_tmp/interval_arithmetic_229838580_lgt.pl for byte code...
/home/milia/Documents/dev/logtalk/ia/.lgt_tmp/interval_arithmetic_229838580_lgt.pl compiled, 68 lines read - 47834 bytes written, 25 ms
compiling /home/milia/Documents/dev/logtalk/ia/.lgt_tmp/tests_229838580_lgt.pl for byte code...
/home/milia/Documents/dev/logtalk/ia/.lgt_tmp/tests_229838580_lgt.pl compiled, 232 lines read - 123160 bytes written, 41 ms
% 
% tests started at 2022-01-10, 16:40:13
% 
% running tests from object tests
% file: /home/milia/Documents/dev/logtalk/ia/tests.lgt
% 
% interval_arithmetic_new_3_01: success
% interval_arithmetic_new_3_02: success
% interval_arithmetic_new_3_03: success
% interval_arithmetic_is_in_2_01: success
% interval_arithmetic_is_in_2_02: success
% interval_arithmetic_is_in_2_03: success
% interval_arithmetic_add_3_01: success
% interval_arithmetic_add_3_02: success
% interval_arithmetic_sub_3_01: success
% interval_arithmetic_sub_3_02: success
% interval_arithmetic_mul_3_01: success
% interval_arithmetic_mul_3_02: success
% interval_arithmetic_div_3_01: success
% interval_arithmetic_div_3_02: success
% interval_arithmetic_div_3_03: success
% interval_arithmetic_mid_2_01: success
% interval_arithmetic_mid_2_02: success
% interval_arithmetic_wid_2_01: success
% interval_arithmetic_wid_2_02: success
% interval_arithmetic_mag_2_01: success
% interval_arithmetic_mag_2_02: success
% interval_arithmetic_mig_2_01: success
% interval_arithmetic_mig_2_02: success
% interval_arithmetic_intersection_3_01: success
% interval_arithmetic_intersection_3_02: success
% interval_arithmetic_hull_3_01: success
% interval_arithmetic_hull_3_02: success
% 
% 27 tests: 0 skipped, 27 passed, 0 failed
% completed tests from object tests
% 
% 
% clause coverage ratio and covered clauses per entity predicate
% 
% interval_arithmetic: add/3 - 1/1 - (all)
% interval_arithmetic: (div)/3 - 1/1 - (all)
% interval_arithmetic: hull/3 - 1/1 - (all)
% interval_arithmetic: intersection/3 - 1/1 - (all)
% interval_arithmetic: is_in/2 - 1/1 - (all)
% interval_arithmetic: mag/2 - 1/1 - (all)
% interval_arithmetic: mid/2 - 1/1 - (all)
% interval_arithmetic: mig/2 - 1/1 - (all)
% interval_arithmetic: mul/3 - 1/1 - (all)
% interval_arithmetic: new/3 - 1/1 - (all)
% interval_arithmetic: sub/3 - 1/1 - (all)
% interval_arithmetic: wid/2 - 1/1 - (all)
% interval_arithmetic: 12 out of 12 clauses covered, 100.000000% coverage
% 
% 1 entity declared as covered containing 12 clauses
% 1 out of 1 entity covered, 100.000000% entity coverage
% 12 out of 12 clauses covered, 100.000000% clause coverage
% 
% tests ended at 2022-01-10, 16:40:13
% 

(654 ms) yes

Works just fine.

[mlliarm]

Fixed after using GNU-Prolog 1.5.0.