Updates

README.md

@@ -18,7 +18,7 @@ See the [Change Log](https://pyswip.org/change-log.html).
 
 If you have SWI-Prolog installed, it's just:
 ```
-pip install pyswip
+pip install -U pyswip
 ```
 
 See [Get Started](https://pyswip.readthedocs.io/en/latest/get_started.html) for detailed instructions.

docs/source/api/examples.rst

@@ -9,3 +9,17 @@ Sudoku
 
 .. automodule:: pyswip.examples.sudoku
     :members:
+
+Hanoi
+^^^^^
+
+.. automodule:: pyswip.examples.hanoi
+    :members:
+
+
+Coins
+^^^^^
+
+.. automodule:: pyswip.examples.coins
+    :members:
+

docs/source/get_started.rst

@@ -29,7 +29,7 @@ PySwip is available to install from `Python Package Index <https://pypi.org/proj
 
 You can install PySwip using::
 
-    pip install pyswip
+    pip install -U pyswip
 
 You will need to have SWI-Prolog installed on your system.
 See :ref:`install_swi_prolog`.

examples/README.md

@@ -4,9 +4,9 @@ This directory contains examples for PySwip.
 
 The ones marked with (clp) requires `clp` library of SWI-Prolog.
 
-* (clp) `coins/`
+* (clp) `coins/` : Moved to `pyswip.examples.coins` package
 * (clp) `draughts/`
-* `hanoi/` : Towers of Hanoi
+* `hanoi/` : Moved to `pyswip.examples.sudoku` package
 * (clp) `sendmoremoney/` : If, SEND * MORE = MONEY, what is S, E, N, D, M, O, R, Y?
 * (clp) `sudoku/` : Moved to `pyswip.examples.sudoku` package 
 * `create_term.py` : Shows creating a Prolog term

examples/coins/coins.pl

@@ -3,9 +3,9 @@
 
 :- use_module(library('bounds')).
 
-coins(S, Count, Total) :-
+coins(Count, Total, Solution) :-
  	% A=1, B=5, C=10, D=50, E=100
-	S = [A, B, C, D, E],
+	Solution = [A, B, C, D, E],
 
 	Av is   1,
 	Bv is   5,
@@ -31,8 +31,8 @@
 	VD #= D*Dv,
 	VE #= E*Ev,
 
-	sum(S, #=, Count),
+	sum(Solution, #=, Count),
 	VA + VB + VC + VD + VE #= Total,
 
-	label(S).
+	label(Solution).
 

examples/coins/coins_new.py

@@ -30,7 +30,7 @@ def main():
     total = int(input("What should be the total (default: 500)? ") or 500)
     coins = Functor("coins", 3)
     S = Variable()
-    q = Query(coins(S, count, total))
+    q = Query(coins(count, total, S))
     i = 0
     while q.nextSolution():
         ## [1,5,10,50,100]

examples/create_term.py

@@ -22,7 +22,7 @@
 # SOFTWARE.
 
 from pyswip.core import *
-from pyswip.prolog import Prolog
+from pyswip import Prolog
 
 
 def main():

examples/draughts/puzzle1.py

@@ -33,7 +33,7 @@
 # are four guards watching each wall.  How can they be rearranged such
 # that there are five watching each wall?"
 
-from pyswip.prolog import Prolog
+from pyswip import Prolog
 
 
 def main():

examples/knowledgebase.py

@@ -21,11 +21,11 @@
 # OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 # SOFTWARE.
 
-from pyswip import *
+from pyswip import Prolog, Functor, Variable, Query, newModule, call
 
 
 def main():
-    _ = Prolog()
+    _ = Prolog()  # not strictly required, but helps to silence the linter
 
     assertz = Functor("assertz")
     parent = Functor("parent", 2)

examples/register_foreign_simple.py

@@ -27,11 +27,8 @@
 from pyswip.easy import registerForeign
 
 
-def hello(t):
-    print("Hello,", t)
-
-
-hello.arity = 1
+def hello(who):
+    print("Hello,", who)
 
 
 def main():

src/pyswip/examples/coins.pl

@@ -0,0 +1,38 @@
+
+% Coins -- 2007 by Yuce Tekol <[email protected]>
+
+:- use_module(library('bounds')).
+
+coins(Count, Total, Solution) :-
+ 	% A=1, B=5, C=10, D=50, E=100
+	Solution = [A, B, C, D, E],
+
+	Av is   1,
+	Bv is   5,
+	Cv is  10,
+	Dv is  50,
+	Ev is 100,
+
+	Aup is Total // Av,
+	Bup is Total // Bv,
+	Cup is Total // Cv,
+	Dup is Total // Dv,
+	Eup is Total // Ev,
+
+	A in 0..Aup,
+	B in 0..Bup,
+	C in 0..Cup,
+	D in 0..Dup,
+	E in 0..Eup,
+
+	VA #= A*Av,
+	VB #= B*Bv,
+	VC #= C*Cv,
+	VD #= D*Dv,
+	VE #= E*Ev,
+
+	sum(Solution, #=, Count),
+	VA + VB + VC + VD + VE #= Total,
+
+	label(Solution).
+