Skip to content

Commit

Permalink
refreshing
Browse files Browse the repository at this point in the history
  • Loading branch information
@josd
josd committed Jan 5, 2025
1 parent 7e3f527 commit 5dc6de8
Show file tree
Hide file tree
Showing 64 changed files with 368,498 additions and 1,630,118 deletions.
9 changes: 5 additions & 4 deletions plus/deep-taxonomy-00001.pl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,11 @@

% prepare deep taxonomy
'<urn:example:prepare>'(X, Y) :-
between(X, Y, Z),
atom_number(I, Z),
Z0 is Z-1,
atom_number(I0, Z0),
N is Y//3,
between(X, N, J),
atom_number(I, J),
J0 is J-1,
atom_number(I0, J0),
atomic_list_concat(['<urn:example:N', I0, '>'], A),
atomic_list_concat(['<urn:example:N', I, '>'], B),
atomic_list_concat(['<urn:example:I', I, '>'], C),
Expand Down
9 changes: 5 additions & 4 deletions plus/deep-taxonomy-00002.pl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,11 @@

% prepare deep taxonomy
'<urn:example:prepare>'(X, Y) :-
between(X, Y, Z),
atom_number(I, Z),
Z0 is Z-1,
atom_number(I0, Z0),
N is Y//3,
between(X, N, J),
atom_number(I, J),
J0 is J-1,
atom_number(I0, J0),
atomic_list_concat(['<urn:example:N', I0, '>'], A),
atomic_list_concat(['<urn:example:N', I, '>'], B),
atomic_list_concat(['<urn:example:I', I, '>'], C),
Expand Down
9 changes: 5 additions & 4 deletions plus/deep-taxonomy-00004.pl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,11 @@

% prepare deep taxonomy
'<urn:example:prepare>'(X, Y) :-
between(X, Y, Z),
atom_number(I, Z),
Z0 is Z-1,
atom_number(I0, Z0),
N is Y//3,
between(X, N, J),
atom_number(I, J),
J0 is J-1,
atom_number(I0, J0),
atomic_list_concat(['<urn:example:N', I0, '>'], A),
atomic_list_concat(['<urn:example:N', I, '>'], B),
atomic_list_concat(['<urn:example:I', I, '>'], C),
Expand Down
9 changes: 5 additions & 4 deletions plus/deep-taxonomy-00008.pl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,11 @@

% prepare deep taxonomy
'<urn:example:prepare>'(X, Y) :-
between(X, Y, Z),
atom_number(I, Z),
Z0 is Z-1,
atom_number(I0, Z0),
N is Y//3,
between(X, N, J),
atom_number(I, J),
J0 is J-1,
atom_number(I0, J0),
atomic_list_concat(['<urn:example:N', I0, '>'], A),
atomic_list_concat(['<urn:example:N', I, '>'], B),
atomic_list_concat(['<urn:example:I', I, '>'], C),
Expand Down
9 changes: 5 additions & 4 deletions plus/deep-taxonomy-00016.pl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,11 @@

% prepare deep taxonomy
'<urn:example:prepare>'(X, Y) :-
between(X, Y, Z),
atom_number(I, Z),
Z0 is Z-1,
atom_number(I0, Z0),
N is Y//3,
between(X, N, J),
atom_number(I, J),
J0 is J-1,
atom_number(I0, J0),
atomic_list_concat(['<urn:example:N', I0, '>'], A),
atomic_list_concat(['<urn:example:N', I, '>'], B),
atomic_list_concat(['<urn:example:I', I, '>'], C),
Expand Down
9 changes: 5 additions & 4 deletions plus/deep-taxonomy-00032.pl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,11 @@

% prepare deep taxonomy
'<urn:example:prepare>'(X, Y) :-
between(X, Y, Z),
atom_number(I, Z),
Z0 is Z-1,
atom_number(I0, Z0),
N is Y//3,
between(X, N, J),
atom_number(I, J),
J0 is J-1,
atom_number(I0, J0),
atomic_list_concat(['<urn:example:N', I0, '>'], A),
atomic_list_concat(['<urn:example:N', I, '>'], B),
atomic_list_concat(['<urn:example:I', I, '>'], C),
Expand Down
9 changes: 5 additions & 4 deletions plus/deep-taxonomy-00064.pl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,11 @@

% prepare deep taxonomy
'<urn:example:prepare>'(X, Y) :-
between(X, Y, Z),
atom_number(I, Z),
Z0 is Z-1,
atom_number(I0, Z0),
N is Y//3,
between(X, N, J),
atom_number(I, J),
J0 is J-1,
atom_number(I0, J0),
atomic_list_concat(['<urn:example:N', I0, '>'], A),
atomic_list_concat(['<urn:example:N', I, '>'], B),
atomic_list_concat(['<urn:example:I', I, '>'], C),
Expand Down
9 changes: 5 additions & 4 deletions plus/deep-taxonomy-00128.pl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,11 @@

% prepare deep taxonomy
'<urn:example:prepare>'(X, Y) :-
between(X, Y, Z),
atom_number(I, Z),
Z0 is Z-1,
atom_number(I0, Z0),
N is Y//3,
between(X, N, J),
atom_number(I, J),
J0 is J-1,
atom_number(I0, J0),
atomic_list_concat(['<urn:example:N', I0, '>'], A),
atomic_list_concat(['<urn:example:N', I, '>'], B),
atomic_list_concat(['<urn:example:I', I, '>'], C),
Expand Down
9 changes: 5 additions & 4 deletions plus/deep-taxonomy-00256.pl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,11 @@

% prepare deep taxonomy
'<urn:example:prepare>'(X, Y) :-
between(X, Y, Z),
atom_number(I, Z),
Z0 is Z-1,
atom_number(I0, Z0),
N is Y//3,
between(X, N, J),
atom_number(I, J),
J0 is J-1,
atom_number(I0, J0),
atomic_list_concat(['<urn:example:N', I0, '>'], A),
atomic_list_concat(['<urn:example:N', I, '>'], B),
atomic_list_concat(['<urn:example:I', I, '>'], C),
Expand Down
9 changes: 5 additions & 4 deletions plus/deep-taxonomy-00512.pl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,11 @@

% prepare deep taxonomy
'<urn:example:prepare>'(X, Y) :-
between(X, Y, Z),
atom_number(I, Z),
Z0 is Z-1,
atom_number(I0, Z0),
N is Y//3,
between(X, N, J),
atom_number(I, J),
J0 is J-1,
atom_number(I0, J0),
atomic_list_concat(['<urn:example:N', I0, '>'], A),
atomic_list_concat(['<urn:example:N', I, '>'], B),
atomic_list_concat(['<urn:example:I', I, '>'], C),
Expand Down
9 changes: 5 additions & 4 deletions plus/deep-taxonomy-01024.pl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,11 @@

% prepare deep taxonomy
'<urn:example:prepare>'(X, Y) :-
between(X, Y, Z),
atom_number(I, Z),
Z0 is Z-1,
atom_number(I0, Z0),
N is Y//3,
between(X, N, J),
atom_number(I, J),
J0 is J-1,
atom_number(I0, J0),
atomic_list_concat(['<urn:example:N', I0, '>'], A),
atomic_list_concat(['<urn:example:N', I, '>'], B),
atomic_list_concat(['<urn:example:I', I, '>'], C),
Expand Down
9 changes: 5 additions & 4 deletions plus/deep-taxonomy-02048.pl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,11 @@

% prepare deep taxonomy
'<urn:example:prepare>'(X, Y) :-
between(X, Y, Z),
atom_number(I, Z),
Z0 is Z-1,
atom_number(I0, Z0),
N is Y//3,
between(X, N, J),
atom_number(I, J),
J0 is J-1,
atom_number(I0, J0),
atomic_list_concat(['<urn:example:N', I0, '>'], A),
atomic_list_concat(['<urn:example:N', I, '>'], B),
atomic_list_concat(['<urn:example:I', I, '>'], C),
Expand Down
9 changes: 5 additions & 4 deletions plus/deep-taxonomy-04096.pl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,11 @@

% prepare deep taxonomy
'<urn:example:prepare>'(X, Y) :-
between(X, Y, Z),
atom_number(I, Z),
Z0 is Z-1,
atom_number(I0, Z0),
N is Y//3,
between(X, N, J),
atom_number(I, J),
J0 is J-1,
atom_number(I0, J0),
atomic_list_concat(['<urn:example:N', I0, '>'], A),
atomic_list_concat(['<urn:example:N', I, '>'], B),
atomic_list_concat(['<urn:example:I', I, '>'], C),
Expand Down
9 changes: 5 additions & 4 deletions plus/deep-taxonomy-08192.pl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,11 @@

% prepare deep taxonomy
'<urn:example:prepare>'(X, Y) :-
between(X, Y, Z),
atom_number(I, Z),
Z0 is Z-1,
atom_number(I0, Z0),
N is Y//3,
between(X, N, J),
atom_number(I, J),
J0 is J-1,
atom_number(I0, J0),
atomic_list_concat(['<urn:example:N', I0, '>'], A),
atomic_list_concat(['<urn:example:N', I, '>'], B),
atomic_list_concat(['<urn:example:I', I, '>'], C),
Expand Down
9 changes: 5 additions & 4 deletions plus/deep-taxonomy-16384.pl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,11 @@

% prepare deep taxonomy
'<urn:example:prepare>'(X, Y) :-
between(X, Y, Z),
atom_number(I, Z),
Z0 is Z-1,
atom_number(I0, Z0),
N is Y//3,
between(X, N, J),
atom_number(I, J),
J0 is J-1,
atom_number(I0, J0),
atomic_list_concat(['<urn:example:N', I0, '>'], A),
atomic_list_concat(['<urn:example:N', I, '>'], B),
atomic_list_concat(['<urn:example:I', I, '>'], C),
Expand Down
9 changes: 5 additions & 4 deletions plus/deep-taxonomy-32768.pl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,11 @@

% prepare deep taxonomy
'<urn:example:prepare>'(X, Y) :-
between(X, Y, Z),
atom_number(I, Z),
Z0 is Z-1,
atom_number(I0, Z0),
N is Y//3,
between(X, N, J),
atom_number(I, J),
J0 is J-1,
atom_number(I0, J0),
atomic_list_concat(['<urn:example:N', I0, '>'], A),
atomic_list_concat(['<urn:example:N', I, '>'], B),
atomic_list_concat(['<urn:example:I', I, '>'], C),
Expand Down
13 changes: 0 additions & 13 deletions plus/output/deep-taxonomy-00001.pl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,19 +2,6 @@

% answers
answer('<urn:example:prepare>'(1, 1)).
answer('<urn:example:N1>'('<urn:example:z>')).

% proof steps
step((true:+'<urn:example:prepare>'(1, 1)), '<urn:example:prepare>'(1, 1), true).
step(('<urn:example:N1>'(A):+'<urn:example:N0>'(A)),
'<urn:example:N0>'('<urn:example:z>'),
'<urn:example:N1>'('<urn:example:z>')).
step(('<urn:example:I1>'(A):+'<urn:example:N0>'(A)),
'<urn:example:N0>'('<urn:example:z>'),
'<urn:example:I1>'('<urn:example:z>')).
step(('<urn:example:J1>'(A):+'<urn:example:N0>'(A)),
'<urn:example:N0>'('<urn:example:z>'),
'<urn:example:J1>'('<urn:example:z>')).
step((true:+'<urn:example:N1>'(_)),
'<urn:example:N1>'('<urn:example:z>'),
true).
22 changes: 0 additions & 22 deletions plus/output/deep-taxonomy-00002.pl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,28 +2,6 @@

% answers
answer('<urn:example:prepare>'(1, 2)).
answer('<urn:example:N2>'('<urn:example:z>')).

% proof steps
step((true:+'<urn:example:prepare>'(1, 2)), '<urn:example:prepare>'(1, 2), true).
step(('<urn:example:N1>'(A):+'<urn:example:N0>'(A)),
'<urn:example:N0>'('<urn:example:z>'),
'<urn:example:N1>'('<urn:example:z>')).
step(('<urn:example:I1>'(A):+'<urn:example:N0>'(A)),
'<urn:example:N0>'('<urn:example:z>'),
'<urn:example:I1>'('<urn:example:z>')).
step(('<urn:example:J1>'(A):+'<urn:example:N0>'(A)),
'<urn:example:N0>'('<urn:example:z>'),
'<urn:example:J1>'('<urn:example:z>')).
step(('<urn:example:N2>'(A):+'<urn:example:N1>'(A)),
'<urn:example:N1>'('<urn:example:z>'),
'<urn:example:N2>'('<urn:example:z>')).
step(('<urn:example:I2>'(A):+'<urn:example:N1>'(A)),
'<urn:example:N1>'('<urn:example:z>'),
'<urn:example:I2>'('<urn:example:z>')).
step(('<urn:example:J2>'(A):+'<urn:example:N1>'(A)),
'<urn:example:N1>'('<urn:example:z>'),
'<urn:example:J2>'('<urn:example:z>')).
step((true:+'<urn:example:N2>'(_)),
'<urn:example:N2>'('<urn:example:z>'),
true).
31 changes: 0 additions & 31 deletions plus/output/deep-taxonomy-00004.pl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,6 @@

% answers
answer('<urn:example:prepare>'(1, 4)).
answer('<urn:example:N4>'('<urn:example:z>')).

% proof steps
step((true:+'<urn:example:prepare>'(1, 4)), '<urn:example:prepare>'(1, 4), true).
Expand All @@ -15,33 +14,3 @@
step(('<urn:example:J1>'(A):+'<urn:example:N0>'(A)),
'<urn:example:N0>'('<urn:example:z>'),
'<urn:example:J1>'('<urn:example:z>')).
step(('<urn:example:N2>'(A):+'<urn:example:N1>'(A)),
'<urn:example:N1>'('<urn:example:z>'),
'<urn:example:N2>'('<urn:example:z>')).
step(('<urn:example:I2>'(A):+'<urn:example:N1>'(A)),
'<urn:example:N1>'('<urn:example:z>'),
'<urn:example:I2>'('<urn:example:z>')).
step(('<urn:example:J2>'(A):+'<urn:example:N1>'(A)),
'<urn:example:N1>'('<urn:example:z>'),
'<urn:example:J2>'('<urn:example:z>')).
step(('<urn:example:N3>'(A):+'<urn:example:N2>'(A)),
'<urn:example:N2>'('<urn:example:z>'),
'<urn:example:N3>'('<urn:example:z>')).
step(('<urn:example:I3>'(A):+'<urn:example:N2>'(A)),
'<urn:example:N2>'('<urn:example:z>'),
'<urn:example:I3>'('<urn:example:z>')).
step(('<urn:example:J3>'(A):+'<urn:example:N2>'(A)),
'<urn:example:N2>'('<urn:example:z>'),
'<urn:example:J3>'('<urn:example:z>')).
step(('<urn:example:N4>'(A):+'<urn:example:N3>'(A)),
'<urn:example:N3>'('<urn:example:z>'),
'<urn:example:N4>'('<urn:example:z>')).
step(('<urn:example:I4>'(A):+'<urn:example:N3>'(A)),
'<urn:example:N3>'('<urn:example:z>'),
'<urn:example:I4>'('<urn:example:z>')).
step(('<urn:example:J4>'(A):+'<urn:example:N3>'(A)),
'<urn:example:N3>'('<urn:example:z>'),
'<urn:example:J4>'('<urn:example:z>')).
step((true:+'<urn:example:N4>'(_)),
'<urn:example:N4>'('<urn:example:z>'),
true).
Loading

0 comments on commit 5dc6de8

Please sign in to comment.