-
Notifications
You must be signed in to change notification settings - Fork 0
/
sdcoding.pl
25 lines (22 loc) · 2.1 KB
/
sdcoding.pl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
:- op(1150,xfx,<=).
answer('urn:example:sdcoding'(1,1)).
answer('urn:example:sdcoding'(3,3)).
answer('urn:example:sdcoding'(0,0)).
answer('urn:example:sdcoding'(2,2)).
%
% Explain the reasoning
%
ether(('urn:example:sdconot'(A,B)<='urn:example:sdc'(A,B)),'urn:example:sdc'(0,1),'urn:example:sdconot'(0,1)).
ether(('urn:example:sdconot'('urn:example:sdconot'(0,3),A)<='urn:example:sdc'('urn:example:sdconot'(0,3),A)),'urn:example:sdc'(0,3),'urn:example:sdconot'(0,3)).
ether(('urn:example:sdconot'(true,false)<='urn:example:sdc'(true,false)),'urn:example:sdc'(1,0),'urn:example:sdconot'(1,0)).
ether(('urn:example:sdconot'('urn:example:sdconot'(1,1),A)<='urn:example:sdc'('urn:example:sdconot'(1,1),A)),'urn:example:sdc'(1,1),'urn:example:sdconot'(1,1)).
ether(('urn:example:sdconot'('urn:example:sdconot'(1,2),A)<='urn:example:sdc'('urn:example:sdconot'(1,2),A)),'urn:example:sdc'(1,2),'urn:example:sdconot'(1,2)).
ether(('urn:example:sdconot'('urn:example:sdconot'(2,1),A)<='urn:example:sdc'('urn:example:sdconot'(2,1),A)),'urn:example:sdc'(2,1),'urn:example:sdconot'(2,1)).
ether(('urn:example:sdconot'('urn:example:sdconot'(2,3),A)<='urn:example:sdc'('urn:example:sdconot'(2,3),A)),'urn:example:sdc'(2,3),'urn:example:sdconot'(2,3)).
ether(('urn:example:sdconot'(false,true)<='urn:example:sdc'(false,true)),'urn:example:sdc'(3,1),'urn:example:sdconot'(3,1)).
ether(('urn:example:sdconot'(false,true)<='urn:example:sdc'(false,true)),'urn:example:sdc'(3,3),'urn:example:sdconot'(3,3)).
ether(('urn:example:sdconot'(false,true)<='urn:example:sdc'(false,true)),'urn:example:sdc'(3,0),'urn:example:sdconot'(3,0)).
ether(('urn:example:sdconot'(false,true)<='urn:example:sdc'(false,true)),'urn:example:sdc'(3,2),'urn:example:sdconot'(3,2)).
ether(('urn:example:sdconot'(true,true)<='urn:example:sdc'(true,true)),'urn:example:sdc'(0,0),'urn:example:sdconot'(0,0)).
ether(('urn:example:sdconot'(false,true)<='urn:example:sdc'(false,true)),'urn:example:sdc'(2,0),'urn:example:sdconot'(2,0)).
ether(('urn:example:sdconot'('urn:example:sdconot'(2,2),A)<='urn:example:sdc'('urn:example:sdconot'(2,2),A)),'urn:example:sdc'(2,2),'urn:example:sdconot'(2,2)).