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

Commit

Permalink
refreshing
Browse files Browse the repository at this point in the history
  • Loading branch information
@josd
josd committed Jan 22, 2025
1 parent 9f18884 commit c7fe3a0
Show file tree
Hide file tree
Showing 77 changed files with 89,651 additions and 1 deletion.
6 changes: 6 additions & 0 deletions etc/output-trealla/access-control-policy.pl
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
:- op(1200, xfx, :+).

answer(('urn:example:Policy'('urn:example:PolicyX'),'urn:example:pass'('urn:example:PolicyX','urn:example:allOfTest'),'urn:example:pass'('urn:example:PolicyX','urn:example:anyOfTest'),'urn:example:pass'('urn:example:PolicyX','urn:example:noneOfTest'))).

% proof steps
step((true:+'urn:example:Policy'(A),'urn:example:pass'(A,'urn:example:allOfTest'),'urn:example:pass'(A,'urn:example:anyOfTest'),'urn:example:pass'(A,'urn:example:noneOfTest')),('urn:example:Policy'('urn:example:PolicyX'),'urn:example:pass'('urn:example:PolicyX','urn:example:allOfTest'),'urn:example:pass'('urn:example:PolicyX','urn:example:anyOfTest'),'urn:example:pass'('urn:example:PolicyX','urn:example:noneOfTest')),true).
26 changes: 26 additions & 0 deletions etc/output-trealla/ackermann.pl
View file

Large diffs are not rendered by default.

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

answer('urn:example:ageAbove'('urn:example:patH',80)).

% proof steps
step((true:+'urn:example:ageAbove'(A,80)),'urn:example:ageAbove'('urn:example:patH',80),true).
6 changes: 6 additions & 0 deletions etc/output-trealla/basic-monadic-1.pl
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
:- op(1200, xfx, :+).

answer(\+'urn:example:cycle'(A,B)).

% proof steps
step((true:+ \+'urn:example:cycle'(A,B)),\+'urn:example:cycle'(A,B),true).
6 changes: 6 additions & 0 deletions etc/output-trealla/basic-monadic-10.pl
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
:- op(1200, xfx, :+).

answer(\+'urn:example:cycle'(A,B)).

% proof steps
step((true:+ \+'urn:example:cycle'(A,B)),\+'urn:example:cycle'(A,B),true).
44 changes: 44 additions & 0 deletions etc/output-trealla/basic-monadic-100.pl
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,44 @@
:- op(1200, xfx, :+).

answer('urn:example:cycle'('urn:example:i0',['urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12'])).
answer('urn:example:cycle'('urn:example:i0',['urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12'])).
answer('urn:example:cycle'('urn:example:i0',['urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12'])).
answer('urn:example:cycle'('urn:example:i0',['urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12'])).
answer('urn:example:cycle'('urn:example:i0',['urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12'])).
answer('urn:example:cycle'('urn:example:i0',['urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12'])).
answer('urn:example:cycle'('urn:example:i0',['urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12'])).
answer('urn:example:cycle'('urn:example:i0',['urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66'])).
answer('urn:example:cycle'('urn:example:i0',['urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66'])).
answer('urn:example:cycle'('urn:example:i0',['urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i66'])).
answer('urn:example:cycle'('urn:example:i0',['urn:example:i6','urn:example:i6','urn:example:i6','urn:example:i6','urn:example:i6','urn:example:i6','urn:example:i6','urn:example:i6','urn:example:i6','urn:example:i6','urn:example:i6'])).
answer('urn:example:cycle'('urn:example:i0',['urn:example:i75','urn:example:i84','urn:example:i75','urn:example:i84','urn:example:i75','urn:example:i84','urn:example:i75','urn:example:i84','urn:example:i75','urn:example:i84','urn:example:i75'])).
answer('urn:example:cycle'('urn:example:i0',['urn:example:i84','urn:example:i75','urn:example:i84','urn:example:i75','urn:example:i84','urn:example:i75','urn:example:i84','urn:example:i75','urn:example:i84','urn:example:i75','urn:example:i84'])).
answer('urn:example:cycle'('urn:example:i0',['urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9'])).
answer('urn:example:cycle'('urn:example:i0',['urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9'])).
answer('urn:example:cycle'('urn:example:i0',['urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9'])).
answer('urn:example:cycle'('urn:example:i0',['urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9'])).
answer('urn:example:cycle'('urn:example:i0',['urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9'])).
answer('urn:example:cycle'('urn:example:i0',['urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9'])).
answer('urn:example:cycle'('urn:example:i0',['urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9'])).

% proof steps
step((true:+'urn:example:cycle'(A,B)),'urn:example:cycle'('urn:example:i0',['urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12']),true).
step((true:+'urn:example:cycle'(A,B)),'urn:example:cycle'('urn:example:i0',['urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12']),true).
step((true:+'urn:example:cycle'(A,B)),'urn:example:cycle'('urn:example:i0',['urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12']),true).
step((true:+'urn:example:cycle'(A,B)),'urn:example:cycle'('urn:example:i0',['urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12']),true).
step((true:+'urn:example:cycle'(A,B)),'urn:example:cycle'('urn:example:i0',['urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12']),true).
step((true:+'urn:example:cycle'(A,B)),'urn:example:cycle'('urn:example:i0',['urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12']),true).
step((true:+'urn:example:cycle'(A,B)),'urn:example:cycle'('urn:example:i0',['urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12']),true).
step((true:+'urn:example:cycle'(A,B)),'urn:example:cycle'('urn:example:i0',['urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66']),true).
step((true:+'urn:example:cycle'(A,B)),'urn:example:cycle'('urn:example:i0',['urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66']),true).
step((true:+'urn:example:cycle'(A,B)),'urn:example:cycle'('urn:example:i0',['urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i66']),true).
step((true:+'urn:example:cycle'(A,B)),'urn:example:cycle'('urn:example:i0',['urn:example:i6','urn:example:i6','urn:example:i6','urn:example:i6','urn:example:i6','urn:example:i6','urn:example:i6','urn:example:i6','urn:example:i6','urn:example:i6','urn:example:i6']),true).
step((true:+'urn:example:cycle'(A,B)),'urn:example:cycle'('urn:example:i0',['urn:example:i75','urn:example:i84','urn:example:i75','urn:example:i84','urn:example:i75','urn:example:i84','urn:example:i75','urn:example:i84','urn:example:i75','urn:example:i84','urn:example:i75']),true).
step((true:+'urn:example:cycle'(A,B)),'urn:example:cycle'('urn:example:i0',['urn:example:i84','urn:example:i75','urn:example:i84','urn:example:i75','urn:example:i84','urn:example:i75','urn:example:i84','urn:example:i75','urn:example:i84','urn:example:i75','urn:example:i84']),true).
step((true:+'urn:example:cycle'(A,B)),'urn:example:cycle'('urn:example:i0',['urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9']),true).
step((true:+'urn:example:cycle'(A,B)),'urn:example:cycle'('urn:example:i0',['urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9']),true).
step((true:+'urn:example:cycle'(A,B)),'urn:example:cycle'('urn:example:i0',['urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9']),true).
step((true:+'urn:example:cycle'(A,B)),'urn:example:cycle'('urn:example:i0',['urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9']),true).
step((true:+'urn:example:cycle'(A,B)),'urn:example:cycle'('urn:example:i0',['urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9']),true).
step((true:+'urn:example:cycle'(A,B)),'urn:example:cycle'('urn:example:i0',['urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9','urn:example:i12','urn:example:i66','urn:example:i9']),true).
step((true:+'urn:example:cycle'(A,B)),'urn:example:cycle'('urn:example:i0',['urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9','urn:example:i12','urn:example:i9']),true).
Loading

0 comments on commit c7fe3a0

Please sign in to comment.