Changeset 3853 for trunk/examples

Timestamp:

09/18/07 03:25:40 (16 months ago)

Author:

pmoura

Message:

Minor documentation improvements.

Location:

trunk/examples

Files:

• assignvars/loader.lgt (modified) (1 diff)
• birds/loader.lgt (modified) (1 diff)
• bricks/loader.lgt (modified) (1 diff)
• lpa/faults/loader.lgt (modified) (1 diff)
• lpa/timetables/loader.lgt (modified) (1 diff)
• metapredicates/loader.lgt (modified) (1 diff)
• miscellaneous/loader.lgt (modified) (1 diff)
• msglog/loader.lgt (modified) (1 diff)
• points/loader.lgt (modified) (1 diff)
• polygons/loader.lgt (modified) (1 diff)
• profiling/loader.lgt (modified) (1 diff)
• puzzles/loader.lgt (modified) (1 diff)
• relations/loader.lgt (modified) (1 diff)
• roots/loader.lgt (modified) (1 diff)
• searching/loader.lgt (modified) (1 diff)
• shapes/ch/loader.lgt (modified) (1 diff)
• sicstus/loader.lgt (modified) (1 diff)
• testing/loader.lgt (modified) (1 diff)
• testing/testing.lgt (modified) (1 diff)
• threads/blackboard/loader.lgt (modified) (1 diff)
• threads/buffer/loader.lgt (modified) (1 diff)
• threads/philosophers/loader.lgt (modified) (1 diff)
• threads/sorting/loader.lgt (modified) (1 diff)

trunk/examples/assignvars/loader.lgt

@@ -1 +1 @@
 
 :- initialization((
-    logtalk_load(library(assignvars), [reload(skip)]),
+    logtalk_load(library(assignvars), [reload(skip)]),  % allow for static binding
     logtalk_load([fsm3, rectangle3]))). 

trunk/examples/birds/loader.lgt

@@ -1 +1 @@
 
 :- initialization((
-    logtalk_load(library(hierarchies_loader), [reload(skip)]),
+    logtalk_load(library(hierarchies_loader), [reload(skip)]),  % allow for static binding
     logtalk_load([descriptors, birds, expert]))).

trunk/examples/bricks/loader.lgt

@@ -1 +1 @@
 
 :- initialization((
-    logtalk_load(library(all_loader), [reload(skip)]),
-    logtalk_load(roots(loader), [reload(skip)]),
-    logtalk_load(relations(loader), [reload(skip)]),
+    logtalk_load(library(all_loader), [reload(skip)]),  % allow for static binding
+    logtalk_load(roots(loader), [reload(skip)]),        % allow for static binding
+    logtalk_load(relations(loader), [reload(skip)]),    % allow for static binding
     logtalk_load(bricks, [events(on)]))).

trunk/examples/lpa/faults/loader.lgt

@@ -1 +1 @@
 
 :- initialization((
-    logtalk_load(library(hierarchies_loader), [reload(skip)]),
+    logtalk_load(library(hierarchies_loader), [reload(skip)]),  % allow for static binding
     logtalk_load(faults))).

trunk/examples/lpa/timetables/loader.lgt

@@ -1 +1 @@
 
 :- initialization((
-    logtalk_load(library(types_loader), [reload(skip)]),
+    logtalk_load(library(types_loader), [reload(skip)]),    % allow for static binding
     logtalk_load([timetable, forms, periods, subjects, teachers]))).

trunk/examples/metapredicates/loader.lgt

@@ -1 +1 @@
 
 :- initialization((
-    logtalk_load(library(types_loader), [reload(skip)]),
+    logtalk_load(library(types_loader), [reload(skip)]),    % allow for static binding
     logtalk_load([closures, metapredicates]))).

trunk/examples/miscellaneous/loader.lgt

@@ -1 +1 @@
 
 :- initialization((
-    logtalk_load(library(types_loader), [reload(skip)]),
+    logtalk_load(library(types_loader), [reload(skip)]),    % allow for static binding
     logtalk_load([hanoi, queens]))).

trunk/examples/msglog/loader.lgt

@@ -1 +1 @@
 
 :- initialization((
-    logtalk_load(library(types_loader), [reload(skip)]),
+    logtalk_load(library(types_loader), [reload(skip)]),    % allow for static binding
     logtalk_load(msglog, [events(on)]))).

trunk/examples/points/loader.lgt

@@ -1 +1 @@
 
 :- initialization((
-    logtalk_load([library(events_loader), library(types_loader), library(metapredicates_loader), library(hierarchies_loader)], [reload(skip)]),
-    logtalk_load(roots(loader), [reload(skip)]),
-    logtalk_load(relations(loader), [reload(skip)]),
+    logtalk_load(
+        [library(events_loader), library(types_loader), library(metapredicates_loader), library(hierarchies_loader)],
+        [reload(skip)]),                                % allow for static binding
+    logtalk_load(roots(loader), [reload(skip)]),        % allow for static binding
+    logtalk_load(relations(loader), [reload(skip)]),    % allow for static binding
     logtalk_load(points))).

trunk/examples/polygons/loader.lgt

@@ -1 +1 @@
 
 :- initialization((
-    logtalk_load([library(events_loader), library(types_loader), library(metapredicates_loader), library(hierarchies_loader)], [reload(skip)]),
-    logtalk_load(roots(loader), [reload(skip)]),
-    logtalk_load(relations(loader), [reload(skip)]),
+    logtalk_load(
+        [library(events_loader), library(types_loader), library(metapredicates_loader), library(hierarchies_loader)],
+        [reload(skip)]),                                % allow for static binding
+    logtalk_load(roots(loader), [reload(skip)]),        % allow for static binding
+    logtalk_load(relations(loader), [reload(skip)]),    % allow for static binding
     logtalk_load(polygons, [events(on)]))).

trunk/examples/profiling/loader.lgt

@@ -1 +1 @@
 
 :- initialization((
-    logtalk_load([library(dates_loader), library(events_loader), library(metapredicates_loader), library(types_loader)], [reload(skip)]),
+    logtalk_load(
+        [library(dates_loader), library(events_loader), library(metapredicates_loader), library(types_loader)],
+        [reload(skip)]),        % allow for static binding
     logtalk_load([timer, message_counter, stop_watch], [events(on)]))).

trunk/examples/puzzles/loader.lgt

@@ -1 +1 @@
 
 :- initialization((
-    logtalk_load(library(types_loader), [reload(skip)]),
+    logtalk_load(library(types_loader), [reload(skip)]),    % allow for static binding
     logtalk_load([potions, jam_thief, horses, houses, note, camp_swampy]))). 

trunk/examples/relations/loader.lgt

@@ -1 +1 @@
 
 :- initialization((
-    logtalk_load([library(events_loader), library(types_loader), library(hierarchies_loader)], [reload(skip)]),
-    logtalk_load(roots(loader), [reload(skip)]),
+    logtalk_load(
+        [library(events_loader), library(types_loader), library(hierarchies_loader)],
+        [reload(skip)]),                            % allow for static binding
+    logtalk_load(roots(loader), [reload(skip)]),    % allow for static binding
     logtalk_load(relations))).

trunk/examples/roots/loader.lgt

@@ -1 +1 @@
 
 :- initialization((
-    logtalk_load([library(events_loader), library(types_loader), library(hierarchies_loader)], [reload(skip)]),
-    logtalk_load([initialization, classes, prototypes, nil], [unknown(silent)]))).
+    logtalk_load(
+        [library(events_loader), library(types_loader), library(hierarchies_loader)],
+        [reload(skip)]),        % allow for static binding
+    logtalk_load(
+        [initialization, classes, prototypes, nil],
+        [unknown(silent)]))).

trunk/examples/searching/loader.lgt

@@ -1 +1 @@
 
 :- initialization((
-    logtalk_load(library(all_loader), [reload(skip)]),
-    logtalk_load(roots(loader), [reload(skip)]),
+    logtalk_load(library(all_loader), [reload(skip)]),  % allow for static binding
+    logtalk_load(roots(loader), [reload(skip)]),        % allow for static binding
     logtalk_load([
         state_space,

trunk/examples/shapes/ch/loader.lgt

@@ -1 +1 @@
 
 :- initialization((
-    logtalk_load(library(all_loader), [reload(skip)]),
-    logtalk_load(roots(loader), [reload(skip)]),
+    logtalk_load(library(all_loader), [reload(skip)]),  % allow for static binding
+    logtalk_load(roots(loader), [reload(skip)]),        % allow for static binding
     logtalk_load(ch))).

trunk/examples/sicstus/loader.lgt

@@ -1 +1 @@
 
 :- initialization((
-    logtalk_load([library(hierarchies_loader), library(types_loader)], [reload(skip)]),
+    logtalk_load(
+        [library(hierarchies_loader), library(types_loader)],
+        [reload(skip)]),        % allow for static binding
     logtalk_load([ovals, polygons, sorting]))).

trunk/examples/testing/loader.lgt

@@ -1 +1 @@
 
 :- initialization((
-    logtalk_load(library(lgtunit), [reload(skip)]),
+    logtalk_load(library(lgtunit), [reload(skip)]),     % allow for static binding
     logtalk_load(testing))).

trunk/examples/testing/testing.lgt

@@ -122 +122 @@
         dyn_test::retractall(a(_)),
         \+ dyn_test::a(_),
-        dyn_test::predicate_property(a(_), defined_in(dyn_test)),
+        dyn_test::predicate_property(a(_), defined_in(dyn_test)),   % closed-world assumption
         dyn_test::current_predicate(a/1),
         dyn_test::abolish(a/1),

trunk/examples/threads/blackboard/loader.lgt

@@ -1 +1 @@
 
 :- initialization((
-    logtalk_load(library(random_loader), [reload(skip)]),
+    logtalk_load(library(random_loader), [reload(skip)]),   % allow for static binding
     logtalk_load(blackboard))).

trunk/examples/threads/buffer/loader.lgt

@@ -1 +1 @@
 
 :- initialization((
-    logtalk_load(library(random_loader), [reload(skip)]),
+    logtalk_load(library(random_loader), [reload(skip)]),   % allow for static binding
     logtalk_load(buffer))).

trunk/examples/threads/philosophers/loader.lgt

@@ -1 +1 @@
 
 :- initialization((
-    logtalk_load(library(random_loader), [reload(skip)]),
+    logtalk_load(library(random_loader), [reload(skip)]),   % allow for static binding
     logtalk_load(philosophers))).

trunk/examples/threads/sorting/loader.lgt

@@ -1 +1 @@
 
 :- initialization((
-    logtalk_load(library(random_loader), [reload(skip)]),
+    logtalk_load(library(random_loader), [reload(skip)]),   % allow for static binding
     logtalk_load([generator, qsort, msort]))).