Changeset 4414 for trunk/configs

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.

Files:

• trunk/configs/gnu.config (modified) (2 diffs)

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).