Changeset 4415 for trunk/examples

Timestamp:

08/10/08 05:08:59 (5 months ago)

Author:

pmoura

Message:

Added a new set of examples, "constraints", illustrating how to use the Constraint Domain Solver libraries available with B-Prolog, GNU Prolog, SWI-Prolog, and YAP.

Location:

trunk/examples

Files:

• constraints (added)
• constraints/bp (added)
• constraints/bp/loader.lgt (added)
• constraints/bp/NOTES.txt (added)
• constraints/bp/puzzle.lgt (added)
• constraints/bp/SCRIPT.txt (added)
• constraints/gprolog (added)
• constraints/gprolog/alpha.lgt (added)
• constraints/gprolog/loader.lgt (added)
• constraints/gprolog/NOTES.txt (added)
• constraints/gprolog/SCRIPT.txt (added)
• constraints/NOTES.txt (added)
• constraints/swipl (added)
• constraints/swipl/hexagon.lgt (added)
• constraints/swipl/loader.lgt (added)
• constraints/swipl/NOTES.txt (added)
• constraints/swipl/puzzle.lgt (added)
• constraints/swipl/queens.lgt (added)
• constraints/swipl/SCRIPT.txt (added)
• constraints/swipl/sudoku.lgt (added)
• constraints/yap (added)
• constraints/yap/loader.lgt (added)
• constraints/yap/NOTES.txt (added)
• constraints/yap/puzzle.lgt (added)
• constraints/yap/SCRIPT.txt (added)
• NOTES.txt (modified) (1 diff)

trunk/examples/NOTES.txt

@@ -74 +74 @@
     illustrates how to use events to avoid breaking object encapsulation
 
+classvars
+    example of implementation of class variables
+    (as found in Smalltalk; i.e. shared instance variables)
+
 complements
     example of using a category to explicitly complement an existing 
     object
 
-classvars
-    example of implementation of class variables
-    (as found in Smalltalk; i.e. shared instance variables)
+constraints
+    several exampels of using constraints within objects ans categories
+    when using back-end Prolog compilers bundled with constraint domain 
+    solvers
 
 dcgs