Changeset 4414

Timestamp:

08/09/08 03:50:38 (5 months ago)

Author:

pmoura

Message:

Updated the GNU Prolog config file to allow Logtalk to recognise as built-in predicates the finite domain solver built-in predicates.

Location:

trunk

Files:

• configs/gnu.config (modified) (2 diffs)
• RELEASE_NOTES.txt (modified) (1 diff)

trunk/configs/gnu.config

@@ -12 +12 @@
 %  configuration file for GNU Prolog 1.3.0 (and later versions)
 %
-%  last updated: July 24, 2008
+%  last updated: August 9, 2008
 %
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ -55 +55 @@
     functor(Pred, Functor, Arity),
     predicate_property(Functor/Arity, Prop).
+
+'$lgt_predicate_property'(Pred, built_in) :-
+    functor(Pred, Functor, Arity),
+    predicate_property(Functor/Arity, built_in_fd).
 
 

trunk/RELEASE_NOTES.txt

@@ -19 +19 @@
     categories. This allows module predicates to be called using implicit 
     qualification, improving readability.
+
+    Updated the GNU Prolog config file to allow Logtalk to recognise as 
+    built-in predicates the finite domain solver built-in predicates.