Changeset 4420 for trunk/examples

Timestamp:

08/10/08 08:57:09 (5 months ago)

Author:

pmoura

Message:

Updated the SWI-Prolog and YAP constraint examples with the help of Markus Triska.

Location:

trunk/examples/constraints

Files:

• swipl/SCRIPT.txt (modified) (1 diff)
• yap/SCRIPT.txt (modified) (1 diff)

trunk/examples/constraints/swipl/SCRIPT.txt

@@ -22 +22 @@
 
 
-| ?- puzzle::solve(Sum=Rs), label(Rs), write(Sum=Rs).
+| ?- puzzle::solve(Sum=Rs), label(Rs).
 [9, 5, 6, 7]+[1, 0, 8, 5]=[1, 0, 6, 5, 2]
 Sum = [9, 5, 6, 7]+[1, 0, 8, 5],

trunk/examples/constraints/yap/SCRIPT.txt

@@ -22 +22 @@
 
 
-| ?- puzzle::solve(Sum=Rs), label(Rs), write(Sum=Rs).
+| ?- puzzle::solve(Sum=Rs), label(Rs).
 [9, 5, 6, 7]+[1, 0, 8, 5]=[1, 0, 6, 5, 2]
 Sum = [9, 5, 6, 7]+[1, 0, 8, 5],