Changeset 4338 for trunk/configs/k6.config

Timestamp:

07/05/08 01:59:51 (5 months ago)

Author:

pmoura

Message:

Updated the "k6.config" config file for the K-Prolog 6.0.3 release. Renamed the K-Prolog 5.1.x config file from "k.config" to "k5.config" to avoid being mistaken for the K-Prolog 6.0.x config file.

Files:

• trunk/configs/k6.config (modified) (3 diffs)

trunk/configs/k6.config

@@ -4 +4 @@
 %  Release 2.32.1
 %
-%  configuration file for K-Prolog 6.0.1 and later versions
-%
-%  last updated: May 30, 2008
+%  configuration file for K-Prolog 6.0.3 and later versions
+%
+%  last updated: July 5, 2008
 %
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ -64 +64 @@
 
 
-% retractall(+callable)
-
-retractall(Head) :-
-    (   retract((Head:-_)),
-        fail
-    ;   true
-    ).
+% retractall(+callable) -- built-in
 
 
@@ -496 +490 @@
 % '$lgt_logtalk_prolog_encoding'(?atom, ?atom, +stream)
 
+'$lgt_logtalk_prolog_encoding'('US-ASCII', ascii, _).
 '$lgt_logtalk_prolog_encoding'('UTF-8', utf8, _).
 '$lgt_logtalk_prolog_encoding'('EUC-JP', eucjp, _).