Changeset 4524 for trunk/configs

Show
Ignore:
Timestamp:
10/20/08 19:20:18 (3 months ago)
Author:
pmoura
Message:

Added an optimization and security compiler option, "complements", that allows objects to be compiled with support for complementing categories either enabled or disabled. The default value (set in the config files) is "off" (disabled).

Added an optimization and security compiler option, "dynamic_declarations", that allows objects to be compiled with support for dynamic declaration of predicates (using the built-in database methods asserta/1 and assertz/1) either enabled or disabled. The default value (set in the config files) is "off" (disabled).

Updated the "complements" example to use the new "complements" compiler option. Update the "dynpred" example to use the new "dynamic_declarations" compiler option.

Location:
trunk/configs
Files:
29 modified

Legend:

Unmodified
Added
Removed

  • trunk/configs/als.config

    r4517 r4524  
    1212%  configuration file for ALS Prolog 3.1 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    228228'$lgt_default_flag'(break_predicate, unsupported). 
    229229 
     230'$lgt_default_flag'(complements, off). 
     231'$lgt_default_flag'(dynamic_declarations, off). 
    230232'$lgt_default_flag'(events, off). 
    231233 

  • trunk/configs/amzi.config

    r4517 r4524  
    1212%  configuration file for Amzi! Prolog 7.6.1 and later versions 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    224224'$lgt_default_flag'(break_predicate, unsupported). 
    225225 
     226'$lgt_default_flag'(complements, off). 
     227'$lgt_default_flag'(dynamic_declarations, off). 
    226228'$lgt_default_flag'(events, off). 
    227229 

  • trunk/configs/b.config

    r4517 r4524  
    1212%  configuration file for B-Prolog 7.1 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    184184'$lgt_default_flag'(break_predicate, unsupported). 
    185185 
     186'$lgt_default_flag'(complements, off). 
     187'$lgt_default_flag'(dynamic_declarations, off). 
    186188'$lgt_default_flag'(events, off). 
    187189 

  • trunk/configs/bin.config

    r4517 r4524  
    1212%  configuration file for BinProlog 8.x~10.x 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    290290'$lgt_default_flag'(break_predicate, unsupported). 
    291291 
     292'$lgt_default_flag'(complements, off). 
     293'$lgt_default_flag'(dynamic_declarations, off). 
    292294'$lgt_default_flag'(events, off). 
    293295 

  • trunk/configs/ciao_aux.config

    r4519 r4524  
    1212%  configuration file for CIAO Prolog 1.8p2 and later versions 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    264264'$lgt_default_flag'(break_predicate, unsupported). 
    265265 
     266'$lgt_default_flag'(complements, off). 
     267'$lgt_default_flag'(dynamic_declarations, off). 
    266268'$lgt_default_flag'(events, off). 
    267269 

  • trunk/configs/cx.config

    r4517 r4524  
    1212%  configuration file for CxProlog 0.97.2 or a later version 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    198198'$lgt_default_flag'(break_predicate, unsupported). 
    199199 
     200'$lgt_default_flag'(complements, off). 
     201'$lgt_default_flag'(dynamic_declarations, off). 
    200202'$lgt_default_flag'(events, off). 
    201203 

  • trunk/configs/eclipse5.config

    r4517 r4524  
    1212%  configuration file for ECLiPSe 5.10#26 and later versions 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    315315'$lgt_default_flag'(break_predicate, supported). 
    316316 
     317'$lgt_default_flag'(complements, off). 
     318'$lgt_default_flag'(dynamic_declarations, off). 
    317319'$lgt_default_flag'(events, off). 
    318320 

  • trunk/configs/eclipse5iso.config

    r4517 r4524  
    1212%  configuration file for ECLiPSe 5.10#26 and later versions 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    221221'$lgt_default_flag'(break_predicate, supported). 
    222222 
     223'$lgt_default_flag'(complements, off). 
     224'$lgt_default_flag'(dynamic_declarations, off). 
    223225'$lgt_default_flag'(events, off). 
    224226 

  • trunk/configs/eclipse6.config

    r4517 r4524  
    1212%  configuration file for ECLiPSe 6.0#37 and later versions 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    309309'$lgt_default_flag'(break_predicate, supported). 
    310310 
     311'$lgt_default_flag'(complements, off). 
     312'$lgt_default_flag'(dynamic_declarations, off). 
    311313'$lgt_default_flag'(events, off). 
    312314 

  • trunk/configs/eclipse6iso.config

    r4517 r4524  
    1212%  configuration file for ECLiPSe 6.0#37 and later versions 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    220220'$lgt_default_flag'(break_predicate, supported). 
    221221 
     222'$lgt_default_flag'(complements, off). 
     223'$lgt_default_flag'(dynamic_declarations, off). 
    222224'$lgt_default_flag'(events, off). 
    223225 

  • trunk/configs/gnu.config

    r4517 r4524  
    1212%  configuration file for GNU Prolog 1.3.0 (and later versions) 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    179179'$lgt_default_flag'(break_predicate, supported). 
    180180 
     181'$lgt_default_flag'(complements, off). 
     182'$lgt_default_flag'(dynamic_declarations, off). 
    181183'$lgt_default_flag'(events, off). 
    182184 

  • trunk/configs/ifprolog.config

    r4517 r4524  
    1212%  configuration file for IF/Prolog 5.1 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515%  
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    195195'$lgt_default_flag'(break_predicate, supported). 
    196196 
     197'$lgt_default_flag'(complements, off). 
     198'$lgt_default_flag'(dynamic_declarations, off). 
    197199'$lgt_default_flag'(events, off). 
    198200 

  • trunk/configs/ji.config

    r4517 r4524  
    1212%  configuration file for JIProlog 3.0.2-6 or later versions 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    199199'$lgt_default_flag'(break_predicate, unsupported). 
    200200 
     201'$lgt_default_flag'(complements, off). 
     202'$lgt_default_flag'(dynamic_declarations, off). 
    201203'$lgt_default_flag'(events, off). 
    202204 

  • trunk/configs/k5.config

    r4517 r4524  
    1212%  configuration file for K-Prolog 5.1.2a and later 5.1.x versions 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    186186'$lgt_default_flag'(break_predicate, supported). 
    187187 
     188'$lgt_default_flag'(complements, off). 
     189'$lgt_default_flag'(dynamic_declarations, off). 
    188190'$lgt_default_flag'(events, off). 
    189191 

  • trunk/configs/k6.config

    r4517 r4524  
    1212%  configuration file for K-Prolog 6.0.4 and later versions 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    177177'$lgt_default_flag'(break_predicate, supported). 
    178178 
     179'$lgt_default_flag'(complements, off). 
     180'$lgt_default_flag'(dynamic_declarations, off). 
    179181'$lgt_default_flag'(events, off). 
    180182 

  • trunk/configs/lpamac.config

    r4517 r4524  
    1212%  configuration file for LPA MacProlog32 1.25 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    293293'$lgt_default_flag'(break_predicate, unsupported). 
    294294 
     295'$lgt_default_flag'(complements, off). 
     296'$lgt_default_flag'(dynamic_declarations, off). 
    295297'$lgt_default_flag'(events, off). 
    296298 

  • trunk/configs/lpawin.config

    r4517 r4524  
    1212%  configuration file for LPA WinProlog 4.00 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    322322'$lgt_default_flag'(break_predicate, unsupported). 
    323323 
     324'$lgt_default_flag'(complements, off). 
     325'$lgt_default_flag'(dynamic_declarations, off). 
    324326'$lgt_default_flag'(events, off). 
    325327 

  • trunk/configs/master.config

    r4517 r4524  
    1212%  configuration file for MasterProLog 4.1 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    244244'$lgt_default_flag'(break_predicate, unsupported). 
    245245 
     246'$lgt_default_flag'(complements, off). 
     247'$lgt_default_flag'(dynamic_declarations, off). 
    246248'$lgt_default_flag'(events, off). 
    247249 

  • trunk/configs/minerva.config

    r4517 r4524  
    1212%  configuration file for Minerva 2.4 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515%  
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    193193'$lgt_default_flag'(break_predicate, supported). 
    194194 
     195'$lgt_default_flag'(complements, off). 
     196'$lgt_default_flag'(dynamic_declarations, off). 
    195197'$lgt_default_flag'(events, off). 
    196198 

  • trunk/configs/open.config

    r4517 r4524  
    1212%  configuration file for Open Prolog 1.1b5 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    295295'$lgt_default_flag'(break_predicate, unsupported). 
    296296 
     297'$lgt_default_flag'(complements, off). 
     298'$lgt_default_flag'(dynamic_declarations, off). 
    297299'$lgt_default_flag'(events, off). 
    298300 

  • trunk/configs/prologII.config

    r4517 r4524  
    1212%  configuration file for PrologII+ 4.5 and later versions 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515%  
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    196196'$lgt_default_flag'(break_predicate, unsupported). 
    197197 
     198'$lgt_default_flag'(complements, off). 
     199'$lgt_default_flag'(dynamic_declarations, off). 
    198200'$lgt_default_flag'(events, off). 
    199201 

  • trunk/configs/qu.config

    r4517 r4524  
    1212%  configuration file for Qu-Prolog 8.1 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    187187'$lgt_default_flag'(break_predicate, supported). 
    188188 
     189'$lgt_default_flag'(complements, off). 
     190'$lgt_default_flag'(dynamic_declarations, off). 
    189191'$lgt_default_flag'(events, off). 
    190192 

  • trunk/configs/quintus.config

    r4517 r4524  
    1212%  configuration file for Quintus Prolog 3.3~3.5 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    242242'$lgt_default_flag'(break_predicate, supported). 
    243243 
     244'$lgt_default_flag'(complements, off). 
     245'$lgt_default_flag'(dynamic_declarations, off). 
    244246'$lgt_default_flag'(events, off). 
    245247 

  • trunk/configs/sicstus3.config

    r4517 r4524  
    1212%  configuration file for SICStus Prolog 3.8 and later versions 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    196196'$lgt_default_flag'(break_predicate, supported). 
    197197 
     198'$lgt_default_flag'(complements, off). 
     199'$lgt_default_flag'(dynamic_declarations, off). 
    198200'$lgt_default_flag'(events, off). 
    199201 

  • trunk/configs/sicstus4.config

    r4517 r4524  
    1212%  configuration file for SICStus Prolog 4.0 and later versions 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    186186'$lgt_default_flag'(break_predicate, supported). 
    187187 
     188'$lgt_default_flag'(complements, off). 
     189'$lgt_default_flag'(dynamic_declarations, off). 
    188190'$lgt_default_flag'(events, off). 
    189191 

  • trunk/configs/swi.config

    r4517 r4524  
    1212%  configuration file for SWI Prolog 5.6.44 and later versions 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515%  
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    203203'$lgt_default_flag'(break_predicate, supported). 
    204204 
     205'$lgt_default_flag'(complements, off). 
     206'$lgt_default_flag'(dynamic_declarations, off). 
    205207'$lgt_default_flag'(events, off). 
    206208 

  • trunk/configs/template.config

    r4517 r4524  
    201201'$lgt_default_flag'(break_predicate, unsupported). 
    202202 
     203'$lgt_default_flag'(complements, off). 
     204'$lgt_default_flag'(dynamic_declarations, off). 
    203205'$lgt_default_flag'(events, off). 
    204206 

  • trunk/configs/xsb.config

    r4517 r4524  
    1212%  configuration file for XSB 3.1 or later version 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    194194'$lgt_default_flag'(break_predicate, supported). 
    195195 
     196'$lgt_default_flag'(complements, off). 
     197'$lgt_default_flag'(dynamic_declarations, off). 
    196198'$lgt_default_flag'(events, off). 
    197199 

  • trunk/configs/yap.config

    r4517 r4524  
    1212%  configuration file for YAP Prolog 5.1.3 and later versions 
    1313% 
    14 %  last updated: October 19, 2008 
     14%  last updated: October 20, 2008 
    1515% 
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    … …  
    235235'$lgt_default_flag'(break_predicate, supported). 
    236236 
     237'$lgt_default_flag'(complements, off). 
     238'$lgt_default_flag'(dynamic_declarations, off). 
    237239'$lgt_default_flag'(events, off). 
    238240