Skip to content
This repository has been archived by the owner on Jan 27, 2025. It is now read-only.

Commit

Permalink
etc
Browse files Browse the repository at this point in the history
  • Loading branch information
josd committed Jan 23, 2025
1 parent ed1ce9c commit 7467e65
Show file tree
Hide file tree
Showing 37 changed files with 30,169 additions and 442,927 deletions.
2 changes: 1 addition & 1 deletion etc/collatz-10.pl
Original file line number Diff line number Diff line change
Expand Up @@ -15,4 +15,4 @@

% query
(true :+ 'urn:example:collatz'(N, _)) :-
within(5, 10, N).
within(9, 10, N).
2 changes: 1 addition & 1 deletion etc/collatz-100.pl
Original file line number Diff line number Diff line change
Expand Up @@ -15,4 +15,4 @@

% query
(true :+ 'urn:example:collatz'(N, _)) :-
within(50, 100, N).
within(90, 100, N).
2 changes: 1 addition & 1 deletion etc/collatz-1000.pl
Original file line number Diff line number Diff line change
Expand Up @@ -15,4 +15,4 @@

% query
(true :+ 'urn:example:collatz'(N, _)) :-
within(500, 1000, N).
within(900, 1000, N).
2 changes: 1 addition & 1 deletion etc/collatz-10000.pl
Original file line number Diff line number Diff line change
Expand Up @@ -15,4 +15,4 @@

% query
(true :+ 'urn:example:collatz'(N, _)) :-
within(5000, 10000, N).
within(9000, 10000, N).
8 changes: 0 additions & 8 deletions etc/output-scryer/collatz-10.pl
Original file line number Diff line number Diff line change
@@ -1,16 +1,8 @@
:- op(1200, xfx, :+).

answer('urn:example:collatz'(5,[5,16,8,4,2,1])).
answer('urn:example:collatz'(6,[6,3,10,5,16,8,4,2,1])).
answer('urn:example:collatz'(7,[7,22,11,34,17,52,26,13,40,20,10,5,16,8,4,2,1])).
answer('urn:example:collatz'(8,[8,4,2,1])).
answer('urn:example:collatz'(9,[9,28,14,7,22,11,34,17,52,26,13,40,20,10,5,16,8,4,2,1])).
answer('urn:example:collatz'(10,[10,5,16,8,4,2,1])).

% proof steps
step((true:+'urn:example:collatz'(5,A)),'urn:example:collatz'(5,[5,16,8,4,2,1]),true).
step((true:+'urn:example:collatz'(6,A)),'urn:example:collatz'(6,[6,3,10,5,16,8,4,2,1]),true).
step((true:+'urn:example:collatz'(7,A)),'urn:example:collatz'(7,[7,22,11,34,17,52,26,13,40,20,10,5,16,8,4,2,1]),true).
step((true:+'urn:example:collatz'(8,A)),'urn:example:collatz'(8,[8,4,2,1]),true).
step((true:+'urn:example:collatz'(9,A)),'urn:example:collatz'(9,[9,28,14,7,22,11,34,17,52,26,13,40,20,10,5,16,8,4,2,1]),true).
step((true:+'urn:example:collatz'(10,A)),'urn:example:collatz'(10,[10,5,16,8,4,2,1]),true).
80 changes: 0 additions & 80 deletions etc/output-scryer/collatz-100.pl

Large diffs are not rendered by default.

800 changes: 0 additions & 800 deletions etc/output-scryer/collatz-1000.pl

Large diffs are not rendered by default.

8,000 changes: 0 additions & 8,000 deletions etc/output-scryer/collatz-10000.pl

Large diffs are not rendered by default.

9 changes: 9 additions & 0 deletions etc/output-scryer/workplace-1.pl
Original file line number Diff line number Diff line change
@@ -1,6 +1,15 @@
:- op(1200, xfx, :+).

answer('urn:example:prepare'(1,1)).
answer('urn:example:complies'('urn:example:bob1',true)).
answer('urn:example:complies'('urn:example:alice1',true)).
answer('urn:example:complies'('urn:example:carol1',false)).

% proof steps
step((true:+'urn:example:prepare'(1,1)),'urn:example:prepare'(1,1),true).
step(('urn:example:complies'(A,true):+'urn:example:does'(A,'urn:example:work_related_task'),'urn:example:does'(A,'urn:example:log_off_at_end_of_shift')),('urn:example:does'('urn:example:bob1','urn:example:work_related_task'),'urn:example:does'('urn:example:bob1','urn:example:log_off_at_end_of_shift')),'urn:example:complies'('urn:example:bob1',true)).
step(('urn:example:complies'(A,true):+'urn:example:does'(A,'urn:example:log_off_at_end_of_shift')),'urn:example:does'('urn:example:alice1','urn:example:log_off_at_end_of_shift'),'urn:example:complies'('urn:example:alice1',true)).
step(('urn:example:complies'(A,false):+'urn:example:does'(A,'urn:example:access_social_media')),'urn:example:does'('urn:example:carol1','urn:example:access_social_media'),'urn:example:complies'('urn:example:carol1',false)).
step((true:+'urn:example:complies'(A,B)),'urn:example:complies'('urn:example:bob1',true),true).
step((true:+'urn:example:complies'(A,B)),'urn:example:complies'('urn:example:alice1',true),true).
step((true:+'urn:example:complies'(A,B)),'urn:example:complies'('urn:example:carol1',false),true).
49 changes: 20 additions & 29 deletions etc/output-scryer/workplace-10.pl
Original file line number Diff line number Diff line change
@@ -1,33 +1,24 @@
:- op(1200, xfx, :+).

answer('urn:example:prepare'(1,10)).
answer('urn:example:complies'('urn:example:bob1',true)).
answer('urn:example:complies'('urn:example:bob2',true)).
answer('urn:example:complies'('urn:example:bob3',true)).
answer('urn:example:complies'('urn:example:alice1',true)).
answer('urn:example:complies'('urn:example:alice2',true)).
answer('urn:example:complies'('urn:example:alice3',true)).
answer('urn:example:complies'('urn:example:carol1',false)).
answer('urn:example:complies'('urn:example:carol2',false)).
answer('urn:example:complies'('urn:example:carol3',false)).
answer('urn:example:prepare'(9,10)).
answer('urn:example:complies'('urn:example:bob9',true)).
answer('urn:example:complies'('urn:example:bob10',true)).
answer('urn:example:complies'('urn:example:alice9',true)).
answer('urn:example:complies'('urn:example:alice10',true)).
answer('urn:example:complies'('urn:example:carol9',false)).
answer('urn:example:complies'('urn:example:carol10',false)).

% proof steps
step((true:+'urn:example:prepare'(1,10)),'urn:example:prepare'(1,10),true).
step(('urn:example:complies'(A,true):+'urn:example:does'(A,'urn:example:work_related_task'),'urn:example:does'(A,'urn:example:log_off_at_end_of_shift')),('urn:example:does'('urn:example:bob1','urn:example:work_related_task'),'urn:example:does'('urn:example:bob1','urn:example:log_off_at_end_of_shift')),'urn:example:complies'('urn:example:bob1',true)).
step(('urn:example:complies'(A,true):+'urn:example:does'(A,'urn:example:work_related_task'),'urn:example:does'(A,'urn:example:log_off_at_end_of_shift')),('urn:example:does'('urn:example:bob2','urn:example:work_related_task'),'urn:example:does'('urn:example:bob2','urn:example:log_off_at_end_of_shift')),'urn:example:complies'('urn:example:bob2',true)).
step(('urn:example:complies'(A,true):+'urn:example:does'(A,'urn:example:work_related_task'),'urn:example:does'(A,'urn:example:log_off_at_end_of_shift')),('urn:example:does'('urn:example:bob3','urn:example:work_related_task'),'urn:example:does'('urn:example:bob3','urn:example:log_off_at_end_of_shift')),'urn:example:complies'('urn:example:bob3',true)).
step(('urn:example:complies'(A,true):+'urn:example:does'(A,'urn:example:log_off_at_end_of_shift')),'urn:example:does'('urn:example:alice1','urn:example:log_off_at_end_of_shift'),'urn:example:complies'('urn:example:alice1',true)).
step(('urn:example:complies'(A,true):+'urn:example:does'(A,'urn:example:log_off_at_end_of_shift')),'urn:example:does'('urn:example:alice2','urn:example:log_off_at_end_of_shift'),'urn:example:complies'('urn:example:alice2',true)).
step(('urn:example:complies'(A,true):+'urn:example:does'(A,'urn:example:log_off_at_end_of_shift')),'urn:example:does'('urn:example:alice3','urn:example:log_off_at_end_of_shift'),'urn:example:complies'('urn:example:alice3',true)).
step(('urn:example:complies'(A,false):+'urn:example:does'(A,'urn:example:access_social_media')),'urn:example:does'('urn:example:carol1','urn:example:access_social_media'),'urn:example:complies'('urn:example:carol1',false)).
step(('urn:example:complies'(A,false):+'urn:example:does'(A,'urn:example:access_social_media')),'urn:example:does'('urn:example:carol2','urn:example:access_social_media'),'urn:example:complies'('urn:example:carol2',false)).
step(('urn:example:complies'(A,false):+'urn:example:does'(A,'urn:example:access_social_media')),'urn:example:does'('urn:example:carol3','urn:example:access_social_media'),'urn:example:complies'('urn:example:carol3',false)).
step((true:+'urn:example:complies'(A,B)),'urn:example:complies'('urn:example:bob1',true),true).
step((true:+'urn:example:complies'(A,B)),'urn:example:complies'('urn:example:bob2',true),true).
step((true:+'urn:example:complies'(A,B)),'urn:example:complies'('urn:example:bob3',true),true).
step((true:+'urn:example:complies'(A,B)),'urn:example:complies'('urn:example:alice1',true),true).
step((true:+'urn:example:complies'(A,B)),'urn:example:complies'('urn:example:alice2',true),true).
step((true:+'urn:example:complies'(A,B)),'urn:example:complies'('urn:example:alice3',true),true).
step((true:+'urn:example:complies'(A,B)),'urn:example:complies'('urn:example:carol1',false),true).
step((true:+'urn:example:complies'(A,B)),'urn:example:complies'('urn:example:carol2',false),true).
step((true:+'urn:example:complies'(A,B)),'urn:example:complies'('urn:example:carol3',false),true).
step((true:+'urn:example:prepare'(9,10)),'urn:example:prepare'(9,10),true).
step(('urn:example:complies'(A,true):+'urn:example:does'(A,'urn:example:work_related_task'),'urn:example:does'(A,'urn:example:log_off_at_end_of_shift')),('urn:example:does'('urn:example:bob9','urn:example:work_related_task'),'urn:example:does'('urn:example:bob9','urn:example:log_off_at_end_of_shift')),'urn:example:complies'('urn:example:bob9',true)).
step(('urn:example:complies'(A,true):+'urn:example:does'(A,'urn:example:work_related_task'),'urn:example:does'(A,'urn:example:log_off_at_end_of_shift')),('urn:example:does'('urn:example:bob10','urn:example:work_related_task'),'urn:example:does'('urn:example:bob10','urn:example:log_off_at_end_of_shift')),'urn:example:complies'('urn:example:bob10',true)).
step(('urn:example:complies'(A,true):+'urn:example:does'(A,'urn:example:log_off_at_end_of_shift')),'urn:example:does'('urn:example:alice9','urn:example:log_off_at_end_of_shift'),'urn:example:complies'('urn:example:alice9',true)).
step(('urn:example:complies'(A,true):+'urn:example:does'(A,'urn:example:log_off_at_end_of_shift')),'urn:example:does'('urn:example:alice10','urn:example:log_off_at_end_of_shift'),'urn:example:complies'('urn:example:alice10',true)).
step(('urn:example:complies'(A,false):+'urn:example:does'(A,'urn:example:access_social_media')),'urn:example:does'('urn:example:carol9','urn:example:access_social_media'),'urn:example:complies'('urn:example:carol9',false)).
step(('urn:example:complies'(A,false):+'urn:example:does'(A,'urn:example:access_social_media')),'urn:example:does'('urn:example:carol10','urn:example:access_social_media'),'urn:example:complies'('urn:example:carol10',false)).
step((true:+'urn:example:complies'(A,B)),'urn:example:complies'('urn:example:bob9',true),true).
step((true:+'urn:example:complies'(A,B)),'urn:example:complies'('urn:example:bob10',true),true).
step((true:+'urn:example:complies'(A,B)),'urn:example:complies'('urn:example:alice9',true),true).
step((true:+'urn:example:complies'(A,B)),'urn:example:complies'('urn:example:alice10',true),true).
step((true:+'urn:example:complies'(A,B)),'urn:example:complies'('urn:example:carol9',false),true).
step((true:+'urn:example:complies'(A,B)),'urn:example:complies'('urn:example:carol10',false),true).
Loading

0 comments on commit 7467e65

Please sign in to comment.