Show
Ignore:
Timestamp:
07/24/08 06:10:25 (4 months ago)
Author:
pmoura
Message:

Updated all config files due to changes to the predicate used to declare proprietary meta-predicates, '$lgt_pl_meta_predicate'/1. Added a second argument to represent if the meta-predicate is either a built-in predicate or a built-in control construct. This is necessary in order to properly compile calls to these proprietary meta-predicates when in debug mode.

Updated the GNU-Prolog config file, adding a declaration for the call_det/2 proprietary meta-predicate. GNU-Prolog version 1.3.0 or later is now required.

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • trunk/RELEASE_NOTES.txt

    r4400 r4401  
    6161    from within a category. 
    6262 
     63    Updated all config files due to changes to the predicate used to declare  
     64    proprietary meta-predicates, '$lgt_pl_meta_predicate'/1. Added a second  
     65    argument to represent if the meta-predicate is either a built-in predicate  
     66    or a built-in control construct. This is necessary in order to properly  
     67    compile calls to these proprietary meta-predicates when in debug mode. 
     68 
    6369    Corrected a bug in the config files hooks used in handling proprietary  
    6470    Prolog directives for the SWI-Prolog, B-Prolog YAP, SICStus, and XSB  
     
    7581    Removed setting of the deprecated "prompt_alternatives_no_bindings"  
    7682    Prolog flag. Oldest SWI-Prolog compatible version is now 5.6.44. 
     83 
     84    Updated the GNU-Prolog config file, adding a declaration for the  
     85    call_det/2 proprietary meta-predicate. GNU-Prolog version 1.3.0 or  
     86    later is now required. 
    7787 
    7888    Added list mapping predicates map/4 and map/5 to the "metap" library