More cleanup (#176)

yuce · Oct 12, 2024 · 349c02b · 349c02b
1 parent b0cb6c4
commit 349c02b
Show file tree

Hide file tree

Showing 4 changed files with 13 additions and 21 deletions.
diff --git a/ci-requirements.txt b/ci-requirements.txt
diff --git a/examples/README b/examples/README
diff --git a/examples/README.md b/examples/README.md
@@ -0,0 +1,13 @@
+# PySwip Examples
+
+This directory contains examples for PySwip.
+
+The ones marked with (clp) requires `clp` library of SWI-Prolog.
+
+* (clp) `coins/`
+* (clp) `draughts/`
+* `hanoi/` : Towers of Hanoi
+* (clp) `sendmoremoney/` : if, SEND * MORE = MONEY, what is S, E, N, D, M, O, R, Y?
+* (clp) `sudoku/` : Sudoku solver (Prolog code is contributed by Markus Triska)
+* `create_term.py` : shows creating a Prolog term
+* `register_foreign.py` : shows registering a foreign function
diff --git a/pyswip.bibtex b/pyswip.bibtex