Changeset 4045 for trunk/configs

Show
Ignore:
Timestamp:
01/23/08 07:37:02 (12 months ago)
Author:
pmoura
Message:

Changed the predicate used to load Prolog files, adding an additional argument that represents a list of load/compile options (notably, encoding/1).

Location:
trunk/configs
Files:
27 modified

Legend:

Unmodified
Added
Removed
  • trunk/configs/als.config

    r4036 r4045  
    66%  configuration file for ALS Prolog 3.1 
    77% 
    8 %  last updated: October 24, 2007 
     8%  last updated: January 23, 2008 
    99% 
    1010%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     
    319319 
    320320 
    321 % '$lgt_load_prolog_code'(+atom, +atom) 
    322 % 
    323 % compile and load a Prolog file 
    324  
    325 '$lgt_load_prolog_code'(File, _) :- 
     321% '$lgt_load_prolog_code'(+atom, +atom, +list) 
     322% 
     323% compile and load a Prolog file, resulting from a 
     324% Logtalk source file, given a list of options 
     325 
     326'$lgt_load_prolog_code'(File, _, _) :- 
    326327    reconsult(File). 
    327328 
  • trunk/configs/amzi.config

    r4036 r4045  
    66%  configuration file for Amzi! Prolog 7.6.1 and later versions 
    77% 
    8 %  last updated: October 24, 2007 
     8%  last updated: January 23, 2008 
    99% 
    1010%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     
    312312 
    313313'$lgt_make_directory'(Directory) :- 
    314     file_exists(Directory) -> 
     314    (   file_exists(Directory) -> 
    315315        true 
    316         ; 
    317         mkdir(Directory). 
    318  
    319  
    320 % '$lgt_load_prolog_code'(+atom, +atom) 
    321 % 
    322 % compile and load a Prolog file 
    323  
    324 '$lgt_load_prolog_code'(File, _) :- 
     316    ;   mkdir(Directory) 
     317    ). 
     318 
     319 
     320% '$lgt_load_prolog_code'(+atom, +atom, +list) 
     321% 
     322% compile and load a Prolog file, resulting from a 
     323% Logtalk source file, given a list of options 
     324 
     325'$lgt_load_prolog_code'(File, _, _) :- 
    325326    reconsult(File). 
    326327 
  • trunk/configs/b.config

    r4036 r4045  
    66%  configuration file for B-Prolog 7.0 
    77% 
    8 %  last updated: November 10, 2007 
     8%  last updated: January 23, 2008 
    99% 
    1010%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     
    272272 
    273273 
    274 % '$lgt_load_prolog_code'(+atom, +atom) 
    275 % 
    276 % compile and load a Prolog file 
    277  
    278 '$lgt_load_prolog_code'(File, _) :- 
     274% '$lgt_load_prolog_code'(+atom, +atom, +list) 
     275% 
     276% compile and load a Prolog file, resulting from a 
     277% Logtalk source file, given a list of options 
     278 
     279'$lgt_load_prolog_code'(File, _, _) :- 
    279280    cl(File). 
    280281 
  • trunk/configs/bin.config

    r4036 r4045  
    66%  configuration file for BinProlog 8.x~10.x 
    77% 
    8 %  last updated: October 24, 2007 
     8%  last updated: January 23, 2008 
    99% 
    1010%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     
    376376 
    377377'$lgt_make_directory'(Directory) :- 
    378     exists_file(Directory) -> 
     378    (   exists_file(Directory) -> 
    379379        true 
    380         ; 
    381         atom_concat('mkdir ', Directory, Command), 
    382         unix(Command). 
    383  
    384  
    385 % '$lgt_load_prolog_code'(+atom, +atom) 
    386 % 
    387 % compile and load a Prolog file 
    388  
    389 '$lgt_load_prolog_code'(File, _) :- 
     380    ;   atom_concat('mkdir ', Directory, Command), 
     381        unix(Command) 
     382    ). 
     383 
     384 
     385% '$lgt_load_prolog_code'(+atom, +atom, +list) 
     386% 
     387% compile and load a Prolog file, resulting from a 
     388% Logtalk source file, given a list of options 
     389 
     390'$lgt_load_prolog_code'(File, _, _) :- 
    390391    consult(File). 
    391392 
     
    398399    exists_file(File1), 
    399400    exists_file(File2), 
    400     (older_file(File1, File2) -> 
     401    (   older_file(File1, File2) -> 
    401402        Result = '<' 
    402         ; 
    403         (older_file(File2, File1) -> 
     403    ;   (   older_file(File2, File1) -> 
    404404            Result = '>' 
    405             ; 
    406             Result = '=')). 
     405        ;   Result = '=' 
     406        ) 
     407    ). 
    407408 
    408409 
  • trunk/configs/ciao_aux.config

    r4036 r4045  
    66%  configuration file for CIAO Prolog 1.8p2 and later versions 
    77% 
    8 %  last updated: October 24, 2007 
     8%  last updated: January 23, 2008 
    99% 
    1010%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     
    352352 
    353353'$lgt_make_directory'(Directory) :- 
    354     file_exists(Directory) -> 
     354    (   file_exists(Directory) -> 
    355355        true 
    356         ; 
    357         make_directory(Directory). 
    358  
    359  
    360 % '$lgt_load_prolog_code'(+atom, +atom) 
    361 % 
    362 % compile and load a Prolog file 
    363  
    364 '$lgt_load_prolog_code'(File, _) :- 
     356    ;   make_directory(Directory) 
     357    ). 
     358 
     359 
     360% '$lgt_load_prolog_code'(+atom, +atom, +list) 
     361% 
     362% compile and load a Prolog file, resulting from a 
     363% Logtalk source file, given a list of options 
     364 
     365'$lgt_load_prolog_code'(File, _, _) :- 
    365366    set_prolog_flag(multi_arity_warnings, off), 
    366367    ensure_loaded(File). 
  • trunk/configs/cx.config

    r4036 r4045  
    66%  configuration file for CxProlog 0.96 or a later version 
    77% 
    8 %  last updated: January 19, 2008 
     8%  last updated: January 23, 2008 
    99% 
    1010%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     
    312312 
    313313 
    314 % '$lgt_load_prolog_code'(+atom, +atom) 
    315 % 
    316 % compile and load a Prolog file 
    317  
    318 '$lgt_load_prolog_code'(File, _) :- 
     314% '$lgt_load_prolog_code'(+atom, +atom, +list) 
     315% 
     316% compile and load a Prolog file, resulting from a 
     317% Logtalk source file, given a list of options 
     318 
     319'$lgt_load_prolog_code'(File, _, _) :- 
    319320    consult(File). 
    320321 
  • trunk/configs/eclipse.config

    r4036 r4045  
    66%  configuration file for ECLiPSe 5.10#26 and later versions 
    77% 
    8 %  last updated: October 24, 2007 
     8%  last updated: January 23, 2008 
    99% 
    1010%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     
    411411 
    412412 
    413 % '$lgt_load_prolog_code'(+atom, +atom) 
    414 % 
    415 % compile and load a Prolog file 
    416  
    417 '$lgt_load_prolog_code'(File, _) :- 
     413% '$lgt_load_prolog_code'(+atom, +atom, +list) 
     414% 
     415% compile and load a Prolog file, resulting from a 
     416% Logtalk source file, given a list of options 
     417 
     418'$lgt_load_prolog_code'(File, _, _) :- 
    418419    get_flag(debug_compile, Current), 
    419420    set_flag(debug_compile, off), 
  • trunk/configs/eclipseiso.config

    r4036 r4045  
    66%  configuration file for ECLiPSe 5.10#26 and later versions 
    77% 
    8 %  last updated: October 24, 2007 
     8%  last updated: January 23, 2008 
    99% 
    1010%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     
    317317 
    318318 
    319 % '$lgt_load_prolog_code'(+atom, +atom) 
    320 % 
    321 % compile and load a Prolog file 
    322  
    323 '$lgt_load_prolog_code'(File, _) :- 
     319% '$lgt_load_prolog_code'(+atom, +atom, +list) 
     320% 
     321% compile and load a Prolog file, resulting from a 
     322% Logtalk source file, given a list of options 
     323 
     324'$lgt_load_prolog_code'(File, _, _) :- 
    324325    get_flag(debug_compile, Current), 
    325326    set_flag(debug_compile, off), 
  • trunk/configs/gnu.config

    r4036 r4045  
    66%  configuration file for GNU Prolog 1.2.14 (and later versions) 
    77% 
    8 %  last updated: October 24, 2007 
     8%  last updated: January 23, 2008 
    99% 
    1010%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     
    262262 
    263263 
    264 % '$lgt_load_prolog_code'(+atom, +atom) 
    265 % 
    266 % compile and load a Prolog file 
    267  
    268 '$lgt_load_prolog_code'(File, _) :- 
     264% '$lgt_load_prolog_code'(+atom, +atom, +list) 
     265% 
     266% compile and load a Prolog file, resulting from a 
     267% Logtalk source file, given a list of options 
     268 
     269'$lgt_load_prolog_code'(File, _, _) :- 
    269270    consult(File). 
    270271 
  • trunk/configs/ifprolog.config

    r4036 r4045  
    66%  configuration file for IF/Prolog 5.1 
    77% 
    8 %  last updated: October 24, 2007 
     8%  last updated: January 23, 2008 
    99%  
    1010%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     
    287287 
    288288 
    289 % '$lgt_load_prolog_code'(+atom, +atom) 
    290 % 
    291 % compile and load a Prolog file 
    292  
    293 '$lgt_load_prolog_code'(File, _) :- 
     289% '$lgt_load_prolog_code'(+atom, +atom, +list) 
     290% 
     291% compile and load a Prolog file, resulting from a 
     292% Logtalk source file, given a list of options 
     293 
     294'$lgt_load_prolog_code'(File, _, _) :- 
    294295    reconsult(File). 
    295296 
  • trunk/configs/ji.config

    r4036 r4045  
    66%  configuration file for JIProlog 3.0.2-6 or later versions 
    77% 
    8 %  last updated: October 24, 2007 
     8%  last updated: January 23, 2008 
    99% 
    1010%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     
    287287 
    288288'$lgt_make_directory'(Directory) :- 
    289     exists_directory(Directory) -> 
     289    (   exists_directory(Directory) -> 
    290290        true 
    291         ; 
    292         make_directory(Directory). 
    293  
    294  
    295 % '$lgt_load_prolog_code'(+atom, +atom) 
    296 % 
    297 % compile and load a Prolog file 
    298  
    299 '$lgt_load_prolog_code'(File, _) :- 
     291    ;   make_directory(Directory) 
     292    ). 
     293 
     294 
     295% '$lgt_load_prolog_code'(+atom, +atom, +list) 
     296% 
     297% compile and load a Prolog file, resulting from a 
     298% Logtalk source file, given a list of options 
     299 
     300'$lgt_load_prolog_code'(File, _, _) :- 
    300301    consult(File). 
    301302 
  • trunk/configs/k.config

    r4036 r4045  
    66%  configuration file for K-Prolog 5.1.2a and later 5.1.x versions 
    77% 
    8 %  last updated: December 29, 2007 
     8%  last updated: January 23, 2008 
    99% 
    1010%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     
    294294 
    295295 
    296 % '$lgt_load_prolog_code'(+atom, +atom) 
    297 % 
    298 % compile and load a Prolog file 
    299  
    300 '$lgt_load_prolog_code'(File, _) :- 
     296% '$lgt_load_prolog_code'(+atom, +atom, +list) 
     297% 
     298% compile and load a Prolog file, resulting from a 
     299% Logtalk source file, given a list of options 
     300 
     301'$lgt_load_prolog_code'(File, _, _) :- 
    301302    reconsult(File). 
    302303 
  • trunk/configs/k6.config

    r4036 r4045  
    66%  configuration file for K-Prolog 6.0.1 and later versions 
    77% 
    8 %  last updated: January 20, 2008 
     8%  last updated: January 23, 2008 
    99% 
    1010%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     
    289289 
    290290 
    291 % '$lgt_load_prolog_code'(+atom, +atom) 
    292 % 
    293 % compile and load a Prolog file 
    294  
    295 '$lgt_load_prolog_code'(File, _) :- 
     291% '$lgt_load_prolog_code'(+atom, +atom, +list) 
     292% 
     293% compile and load a Prolog file, resulting from a 
     294% Logtalk source file, given a list of options 
     295 
     296'$lgt_load_prolog_code'(File, _, _) :- 
    296297    reconsult(File). 
    297298 
  • trunk/configs/lpamac.config

    r4036 r4045  
    66%  configuration file for LPA MacProlog32 1.25 
    77% 
    8 %  last updated: October 24, 2007 
     8%  last updated: January 23, 2008 
    99% 
    1010%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     
    386386 
    387387 
    388 % '$lgt_load_prolog_code'(+atom, +atom) 
    389 % 
    390 % compile and load a Prolog file 
    391  
    392 '$lgt_load_prolog_code'(File, _) :- 
     388% '$lgt_load_prolog_code'(+atom, +atom, +list) 
     389% 
     390% compile and load a Prolog file, resulting from a 
     391% Logtalk source file, given a list of options 
     392 
     393'$lgt_load_prolog_code'(File, _, _) :- 
    393394    reconsult(File). 
    394395 
  • trunk/configs/lpawin.config

    r4036 r4045  
    66%  configuration file for LPA WinProlog 4.00 
    77% 
    8 %  last updated: October 24, 2007 
     8%  last updated: January 23, 2008 
    99% 
    1010%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     
    416416 
    417417 
    418 % '$lgt_load_prolog_code'(+atom, +atom) 
    419 % 
    420 % compile and load a Prolog file 
    421  
    422 '$lgt_load_prolog_code'(File, _) :- 
     418% '$lgt_load_prolog_code'(+atom, +atom, +list) 
     419% 
     420% compile and load a Prolog file, resulting from a 
     421% Logtalk source file, given a list of options 
     422 
     423'$lgt_load_prolog_code'(File, _, _) :- 
    423424    reconsult(File). 
    424425 
  • trunk/configs/master.config

    r4036 r4045  
    66%  configuration file for MasterProLog 4.1 
    77% 
    8 %  last updated: October 24, 2007 
     8%  last updated: January 23, 2008 
    99% 
    1010%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     
    336336 
    337337 
    338 % '$lgt_load_prolog_code'(+atom, +atom) 
    339 % 
    340 % compile and load a Prolog file 
    341  
    342 '$lgt_load_prolog_code'(File, _) :- 
     338% '$lgt_load_prolog_code'(+atom, +atom, +list) 
     339% 
     340% compile and load a Prolog file, resulting from a 
     341% Logtalk source file, given a list of options 
     342 
     343'$lgt_load_prolog_code'(File, _, _) :- 
    343344    reconsult(File). 
    344345 
  • trunk/configs/minerva.config

    r4036 r4045  
    66%  configuration file for Minerva 2.4 
    77% 
    8 %  last updated: October 24, 2007 
     8%  last updated: January 23, 2008 
    99%  
    1010%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     
    280280 
    281281 
    282 % '$lgt_load_prolog_code'(+atom, +atom) 
    283 % 
    284 % compile and load a Prolog file 
    285  
    286 '$lgt_load_prolog_code'(File, _) :- 
     282% '$lgt_load_prolog_code'(+atom, +atom, +list) 
     283% 
     284% compile and load a Prolog file, resulting from a 
     285% Logtalk source file, given a list of options 
     286 
     287'$lgt_load_prolog_code'(File, _, _) :- 
    287288    compile(File), 
    288289    load(File). 
  • trunk/configs/open.config

    r4036 r4045  
    66%  configuration file for Open Prolog 1.1b5 
    77% 
    8 %  last updated: October 24, 2007 
     8%  last updated: January 23, 2008 
    99% 
    1010%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     
    387387 
    388388 
    389 % '$lgt_load_prolog_code'(+atom, +atom) 
    390 % 
    391 % compile and load a Prolog file 
    392  
    393 '$lgt_load_prolog_code'(File, _) :- 
     389% '$lgt_load_prolog_code'(+atom, +atom, +list) 
     390% 
     391% compile and load a Prolog file, resulting from a 
     392% Logtalk source file, given a list of options 
     393 
     394'$lgt_load_prolog_code'(File, _, _) :- 
    394395    reconsult(File). 
    395396 
  • trunk/configs/prologII.config

    r4036 r4045  
    66%  configuration file for PrologII+ 4.5 and later versions 
    77% 
    8 %  last updated: October 24, 2007 
     8%  last updated: January 23, 2008 
    99%  
    1010%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     
    288288 
    289289 
    290 % '$lgt_load_prolog_code'(+atom, +atom) 
    291 % 
    292 % compile and load a Prolog file 
    293  
    294 '$lgt_load_prolog_code'(File, _) :- 
     290% '$lgt_load_prolog_code'(+atom, +atom, +list) 
     291% 
     292% compile and load a Prolog file, resulting from a 
     293% Logtalk source file, given a list of options 
     294 
     295'$lgt_load_prolog_code'(File, _, _) :- 
    295296    reconsult(File), 
    296297    write(File), 
  • trunk/configs/qu.config

    r4036 r4045  
    66%  configuration file for Qu-Prolog 8.1 
    77% 
    8 %  last updated: October 24, 2007 
     8%  last updated: January 23, 2008 
    99% 
    1010%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     
    278278 
    279279 
    280 % '$lgt_load_prolog_code'(+atom, +atom) 
    281 % 
    282 % compile and load a Prolog file 
    283  
    284 '$lgt_load_prolog_code'(File, _) :- 
     280% '$lgt_load_prolog_code'(+atom, +atom, +list) 
     281% 
     282% compile and load a Prolog file, resulting from a 
     283% Logtalk source file, given a list of options 
     284 
     285'$lgt_load_prolog_code'(File, _, _) :- 
    285286    '$lgt_file_extension'(prolog, Extension), 
    286287    atom_concat(Name, Extension, File), 
  • trunk/configs/quintus.config

    r4042 r4045  
    66%  configuration file for Quintus Prolog 3.3~3.5 
    77% 
    8 %  last updated: January 22, 2008 
     8%  last updated: January 23, 2008 
    99% 
    1010%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     
    335335 
    336336 
    337 % '$lgt_load_prolog_code'(+atom, +atom) 
    338 % 
    339 % compile and load a Prolog file 
    340  
    341 '$lgt_load_prolog_code'(File, _) :- 
     337% '$lgt_load_prolog_code'(+atom, +atom, +list) 
     338% 
     339% compile and load a Prolog file, resulting from a 
     340% Logtalk source file, given a list of options 
     341 
     342'$lgt_load_prolog_code'(File, _, _) :- 
    342343    compile(File). 
    343344 
  • trunk/configs/sicstus.config

    r4036 r4045  
    66%  configuration file for SICStus Prolog 3.8 and later versions 
    77% 
    8 %  last updated: November 3, 2007 
     8%  last updated: January 23, 2008 
    99% 
    1010%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     
    291291 
    292292 
    293 % '$lgt_load_prolog_code'(+atom, +atom) 
    294 % 
    295 % compile and load a Prolog file 
    296  
    297 '$lgt_load_prolog_code'(File, _) :- 
     293% '$lgt_load_prolog_code'(+atom, +atom, +list) 
     294% 
     295% compile and load a Prolog file, resulting from a 
     296% Logtalk source file, given a list of options 
     297 
     298'$lgt_load_prolog_code'(File, _, _) :- 
    298299    compile(File). 
    299300