adding more runs

eyereasoner · Jan 13, 2025 · 6d70942 · 6d70942
1 parent 3e886e6
commit 6d70942
Show file tree

Hide file tree

Showing 11 changed files with 2,077 additions and 1 deletion.
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-1.4.7
+1.4.8
diff --git a/runs/collatz-conjecture.pl b/runs/collatz-conjecture.pl
@@ -0,0 +1,28 @@
+% Collatz conjecture
+% See https://en.wikipedia.org/wiki/Collatz_conjecture
+
+:- use_module(library(between)).
+:- use_module(library(format)).
+
+'urn:example:collatz'(N, L) :-
+    collatz(N, 1, L).
+
+collatz(N, N, [N]) :-
+    !.
+collatz(N0, N, [N0|J]) :-
+    (   0 =:= N0 rem 2
+    ->  N1 is N0 // 2
+    ;   N1 is 3 * N0 + 1
+    ),
+    collatz(N1, N, J).
+
+% query
+query('urn:example:collatz'(N, _)) :-
+    between(1, 2048, N).
+
+run :-
+    query(Q),
+    Q,
+    portray_clause(Q),
+    fail;
+    halt.
diff --git a/runs/goldbach.pl → runs/goldbach-conjecture.pl b/runs/goldbach.pl → runs/goldbach-conjecture.pl
diff --git a/runs/graph.pl → runs/grpah-paths.pl b/runs/graph.pl → runs/grpah-paths.pl
diff --git a/runs/hanoi.pl → runs/hanoi-towers.pl b/runs/hanoi.pl → runs/hanoi-towers.pl
diff --git a/runs/lee.pl → runs/lee-routing.pl b/runs/lee.pl → runs/lee-routing.pl
diff --git a/runs/output/collatz-conjecture.pl b/runs/output/collatz-conjecture.pl
diff --git a/runs/output/goldbach.pl → runs/output/goldbach-conjecture.pl b/runs/output/goldbach.pl → runs/output/goldbach-conjecture.pl
diff --git a/runs/output/graph.pl → runs/output/grpah-paths.pl b/runs/output/graph.pl → runs/output/grpah-paths.pl
diff --git a/runs/output/hanoi.pl → runs/output/hanoi-towers.pl b/runs/output/hanoi.pl → runs/output/hanoi-towers.pl
diff --git a/runs/output/lee.pl → runs/output/lee-routing.pl b/runs/output/lee.pl → runs/output/lee-routing.pl