sum functionality

README.md

@@ -1 +1 @@
-Probablity questions solver powered with Problog Engine
+Probablity questions solver powered with Problog Engine

probE/1.pl

@@ -1,25 +1,25 @@
-P_Student_success :: student_roll(L, P_Student_success, P_Student_fail, D, success); P_Student_fail :: student_roll(L, P_Student_success, P_Student_fail, D, fail) :- student(L, P_Student_success, P_Student_fail, D).
-
-student(f, 0.2, 0.8, D ) :- between(1, 1, D).
-student(f, 0.25, 0.75, D ) :- between(1, 1, D).
-student(f, 0.3333333333333333, 0.6666666666666666, D ) :- between(1, 1, D).
-
-alias_Z(Z1) :- student_roll(f, 0.3333333333333333, 0.6666666666666666, 1, Z1 ) .
-alias_X(X1) :- student_roll(f, 0.2, 0.8, 1, X1 ) .
-alias_Y(Y1) :- student_roll(f, 0.25, 0.75, 1, Y1 ) .
-
-q(8250) :- alias_Z(Z1), alias_X(X1), alias_Y(Y1),  ( count([X1 , Y1 , Z1],success, C7470) , C7470 >= 2 ) . 
-
-
-
-:- use_module(library(lists)).
-count([],X,0).
-count([X|T],X,Y):- count(T,X,Z), Y is 1+Z.
-count([X1|T],X,Z):- X1\=X,count(T,X,Z).
-
-countall(List,X,C) :-
-    sort(List,List1),
-    member(X,List1),
-    count(List,X,C).
-
+P_Student_success :: student_roll(L, P_Student_success, P_Student_fail, D, success); P_Student_fail :: student_roll(L, P_Student_success, P_Student_fail, D, fail) :- student(L, P_Student_success, P_Student_fail, D).
+
+student(f, 0.2, 0.8, D ) :- between(1, 1, D).
+student(f, 0.25, 0.75, D ) :- between(1, 1, D).
+student(f, 0.3333333333333333, 0.6666666666666666, D ) :- between(1, 1, D).
+
+alias_Z(Z1) :- student_roll(f, 0.3333333333333333, 0.6666666666666666, 1, Z1 ) .
+alias_X(X1) :- student_roll(f, 0.2, 0.8, 1, X1 ) .
+alias_Y(Y1) :- student_roll(f, 0.25, 0.75, 1, Y1 ) .
+
+q(8250) :- alias_Z(Z1), alias_X(X1), alias_Y(Y1),  ( count([X1 , Y1 , Z1],success, C7470) , C7470 >= 2 ) . 
+
+
+
+:- use_module(library(lists)).
+count([],X,0).
+count([X|T],X,Y):- count(T,X,Z), Y is 1+Z.
+count([X1|T],X,Z):- X1\=X,count(T,X,Z).
+
+countall(List,X,C) :-
+    sort(List,List1),
+    member(X,List1),
+    count(List,X,C).
+
 query(q(_)).

probE/1.pq

@@ -1,17 +1,17 @@
-# The probability of success of three students X, Y and Z in the one examination
-# are 1/5, 1/4 and 1/3 respectively. Find the probability of success of at least two.
-
-entity student[S,F](
-S :: success; F :: fail
-)
-
-X = student(1/5,4/5){1}.roll()
-Y = student(1/4,3/4){1}.roll()
-Z = student(1/3,2/3){1}.roll()
-
-
-probability( equalAtleast( 2, [ X | Y | Z ] , success))
-#  entity student[S](S :: success; 1-S::fail)
-
-
-# correct ans: 1/6 = 0.16666667
+# The probability of success of three students X, Y and Z in the one examination
+# are 1/5, 1/4 and 1/3 respectively. Find the probability of success of at least two.
+
+entity student[S,F](
+S :: success; F :: fail
+)
+
+X = student(1/5,4/5){1}.roll()
+Y = student(1/4,3/4){1}.roll()
+Z = student(1/3,2/3){1}.roll()
+
+
+probability( equalAtleast( 2, [ X | Y | Z ] , success))
+#  entity student[S](S :: success; 1-S::fail)
+
+
+# correct ans: 1/6 = 0.16666667

probE/10.pl

@@ -1,17 +1,17 @@
-P_Dice_1 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D, 1); P_Dice_2 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D, 2); P_Dice_3 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D, 3); P_Dice_4 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D, 4); P_Dice_5 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D, 5); P_Dice_6 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D, 6) :- dice(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D).
-P_Coin_head :: coin_roll(L, P_Coin_head, P_Coin_tail, D, head); P_Coin_tail :: coin_roll(L, P_Coin_head, P_Coin_tail, D, tail) :- coin(L, P_Coin_head, P_Coin_tail, D).
-
-dice(empty, 0.16666666666, 0.16666666666, 0.16666666666, 0.16666666666, 0.16666666666, 0.16666666666, D ) :- between(1, 2, D).
-
-alias_X(X1, X2) :- dice_roll(empty, 0.16666666666, 0.16666666666, 0.16666666666, 0.16666666666, 0.16666666666, 0.16666666666, 1, X1 ), dice_roll(empty, 0.16666666666, 0.16666666666, 0.16666666666, 0.16666666666, 0.16666666666, 0.16666666666, 2, X2 ) .
-
-q(4631) :- alias_X(X1, X2),  ( \+ ( ( X1 + X2 =:= 8 ) , ( count([X1, X2],1, C3689) , C3689 = 2 ) ) ) . 
-
-
-
-:- use_module(library(lists)).
-count([],X,0).
-count([X|T],X,Y):- count(T,X,Z), Y is 1+Z.
-count([X1|T],X,Z):- X1\=X,count(T,X,Z).
-
+P_Dice_1 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D, 1); P_Dice_2 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D, 2); P_Dice_3 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D, 3); P_Dice_4 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D, 4); P_Dice_5 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D, 5); P_Dice_6 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D, 6) :- dice(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D).
+P_Coin_head :: coin_roll(L, P_Coin_head, P_Coin_tail, D, head); P_Coin_tail :: coin_roll(L, P_Coin_head, P_Coin_tail, D, tail) :- coin(L, P_Coin_head, P_Coin_tail, D).
+
+dice(empty, 0.16666666666, 0.16666666666, 0.16666666666, 0.16666666666, 0.16666666666, 0.16666666666, D ) :- between(1, 2, D).
+
+alias_X(X1, X2) :- dice_roll(empty, 0.16666666666, 0.16666666666, 0.16666666666, 0.16666666666, 0.16666666666, 0.16666666666, 1, X1 ), dice_roll(empty, 0.16666666666, 0.16666666666, 0.16666666666, 0.16666666666, 0.16666666666, 0.16666666666, 2, X2 ) .
+
+q(4631) :- alias_X(X1, X2),  ( \+ ( ( X1 + X2 =:= 8 ) , ( count([X1, X2],1, C3689) , C3689 = 2 ) ) ) . 
+
+
+
+:- use_module(library(lists)).
+count([],X,0).
+count([X|T],X,Y):- count(T,X,Z), Y is 1+Z.
+count([X1|T],X,Z):- X1\=X,count(T,X,Z).
+
 query(q(_)).

probE/10.pq

@@ -1,2 +1,2 @@
-X = dice{2}.roll()
-probability( not ((X[1] + X[2] == 8) and equalAll(X,1) ) )
+X = dice{2}.roll()
+probability( not ((X[1] + X[2] == 8) and equalAll(X,1) ) )

probE/2.pl

@@ -1,25 +1,25 @@
-P_Student_1 :: student_roll(L, P_Student_1, P_Student_2, D, 1); P_Student_2 :: student_roll(L, P_Student_1, P_Student_2, D, 2) :- student(L, P_Student_1, P_Student_2, D).
-
-student(f, 0.2, 0.8, D ) :- between(1, 3, D).
-student(f, 0.25, 0.75, D ) :- between(1, 2, D).
-student(f, 0.3333333333333333, 0.6666666666666666, D ) :- between(1, 1, D).
-
-alias_Z(Z1) :- student_roll(f, 0.3333333333333333, 0.6666666666666666, 1, Z1 ) .
-alias_Y(Y1, Y2) :- student_roll(f, 0.25, 0.75, 1, Y1 ), student_roll(f, 0.25, 0.75, 2, Y2 ) .
-alias_X(X1, X2, X3) :- student_roll(f, 0.2, 0.8, 1, X1 ), student_roll(f, 0.2, 0.8, 2, X2 ), student_roll(f, 0.2, 0.8, 3, X3 ) .
-
-q(2658) :- alias_Z(Z1), alias_Y(Y1, Y2), alias_X(X1, X2, X3),  ( ( ( count([X1, X2, X3 , Y1, Y2 , Z1],1, C1839) , C1839 >= 2 ) ; ( count([X1, X2, X3],2, C3482) , C3482 =< 2 ) ) , ( ( ( X1 + Y2 + Z1 ) / 2 ) + 3 =:= 5 ) ) .
-
-
-
-:- use_module(library(lists)).
-count([],X,0).
-count([X|T],X,Y):- count(T,X,Z), Y is 1+Z.
-count([X1|T],X,Z):- X1\=X,count(T,X,Z).
-
-countall(List,X,C) :-
-    sort(List,List1),
-    member(X,List1),
-    count(List,X,C).
-
-query(q(_)).
+P_Student_1 :: student_roll(L, P_Student_1, P_Student_2, D, 1); P_Student_2 :: student_roll(L, P_Student_1, P_Student_2, D, 2) :- student(L, P_Student_1, P_Student_2, D).
+
+student(f, 0.2, 0.8, D ) :- between(1, 3, D).
+student(f, 0.25, 0.75, D ) :- between(1, 2, D).
+student(f, 0.3333333333333333, 0.6666666666666666, D ) :- between(1, 1, D).
+
+alias_Z(Z1) :- student_roll(f, 0.3333333333333333, 0.6666666666666666, 1, Z1 ) .
+alias_Y(Y1, Y2) :- student_roll(f, 0.25, 0.75, 1, Y1 ), student_roll(f, 0.25, 0.75, 2, Y2 ) .
+alias_X(X1, X2, X3) :- student_roll(f, 0.2, 0.8, 1, X1 ), student_roll(f, 0.2, 0.8, 2, X2 ), student_roll(f, 0.2, 0.8, 3, X3 ) .
+
+q(2658) :- alias_Z(Z1), alias_Y(Y1, Y2), alias_X(X1, X2, X3),  ( ( ( count([X1, X2, X3 , Y1, Y2 , Z1],1, C1839) , C1839 >= 2 ) ; ( count([X1, X2, X3],2, C3482) , C3482 =< 2 ) ) , ( ( ( X1 + Y2 + Z1 ) / 2 ) + 3 =:= 5 ) ) .
+
+
+
+:- use_module(library(lists)).
+count([],X,0).
+count([X|T],X,Y):- count(T,X,Z), Y is 1+Z.
+count([X1|T],X,Z):- X1\=X,count(T,X,Z).
+
+countall(List,X,C) :-
+    sort(List,List1),
+    member(X,List1),
+    count(List,X,C).
+
+query(q(_)).

probE/2.pq

@@ -1,11 +1,11 @@
-
-entity student(1/2 :: 1; 1/2 :: 2)
-
-X = student(1/5,4/5){3}.roll()
-Y = student(1/4,3/4){2}.roll()
-Z = student(1/3,2/3){1}.roll()
-
-probability(
-    ( equalAtleast( 2, [ X | Y | Z ] , 1) or equalAtmost( 2, X , 2) )
-    and (( X[1] + Y[2] + Z[1] ) / 2) + 3 == 5
-)
+
+entity student(1/2 :: 1; 1/2 :: 2)
+
+X = student(1/5,4/5){3}.roll()
+Y = student(1/4,3/4){2}.roll()
+Z = student(1/3,2/3){1}.roll()
+
+probability(
+    ( equalAtleast( 2, [ X | Y | Z ] , 1) or equalAtmost( 2, X , 2) )
+    and (( X[1] + Y[2] + Z[1] ) / 2) + 3 == 5
+)

probE/3.pl

@@ -1,20 +1,20 @@
-P_Dice_1 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, D, 1); P_Dice_2 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, D, 2); P_Dice_3 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, D, 3) :- dice(L, P_Dice_1, P_Dice_2, P_Dice_3, D).
-
-dice(f, 0.5, 0.3333333333333333, 0.6666666666666666, D ) :- between(1, 5, D).
-
-alias_Y(Y1, Y2, Y3, Y4, Y5) :- dice_roll(f, 0.5, 0.3333333333333333, 0.6666666666666666, 1, Y1 ), dice_roll(f, 0.5, 0.3333333333333333, 0.6666666666666666, 2, Y2 ), dice_roll(f, 0.5, 0.3333333333333333, 0.6666666666666666, 3, Y3 ), dice_roll(f, 0.5, 0.3333333333333333, 0.6666666666666666, 4, Y4 ), dice_roll(f, 0.5, 0.3333333333333333, 0.6666666666666666, 5, Y5 ) .
-
-
-
-
-:- use_module(library(lists)).
-count([],X,0).
-count([X|T],X,Y):- count(T,X,Z), Y is 1+Z.
-count([X1|T],X,Z):- X1\=X,count(T,X,Z).
-
-countall(List,X,C) :-
-    sort(List,List1),
-    member(X,List1),
-    count(List,X,C).
-
+P_Dice_1 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, D, 1); P_Dice_2 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, D, 2); P_Dice_3 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, D, 3) :- dice(L, P_Dice_1, P_Dice_2, P_Dice_3, D).
+
+dice(f, 0.5, 0.3333333333333333, 0.6666666666666666, D ) :- between(1, 5, D).
+
+alias_Y(Y1, Y2, Y3, Y4, Y5) :- dice_roll(f, 0.5, 0.3333333333333333, 0.6666666666666666, 1, Y1 ), dice_roll(f, 0.5, 0.3333333333333333, 0.6666666666666666, 2, Y2 ), dice_roll(f, 0.5, 0.3333333333333333, 0.6666666666666666, 3, Y3 ), dice_roll(f, 0.5, 0.3333333333333333, 0.6666666666666666, 4, Y4 ), dice_roll(f, 0.5, 0.3333333333333333, 0.6666666666666666, 5, Y5 ) .
+
+
+
+
+:- use_module(library(lists)).
+count([],X,0).
+count([X|T],X,Y):- count(T,X,Z), Y is 1+Z.
+count([X1|T],X,Z):- X1\=X,count(T,X,Z).
+
+countall(List,X,C) :-
+    sort(List,List1),
+    member(X,List1),
+    count(List,X,C).
+
 query(q(_)).

probE/3.pq

@@ -1,4 +1,4 @@
-entity dice(1;2;3)
-
-X = dice(1/2,1/3,2/3){5}
-Y = X.roll()
+entity dice(1;2;3)
+
+X = dice(1/2,1/3,2/3){5}
+Y = X.roll()

probE/4.pl

@@ -1,20 +1,20 @@
-P_Student_solve :: student_roll(L, P_Student_solve, P_Student_fail, D, solve); P_Student_fail :: student_roll(L, P_Student_solve, P_Student_fail, D, fail) :- student(L, P_Student_solve, P_Student_fail, D).
-
-student(f, 0.5, 0.5, D ) :- between(1, 1, D).
-student(f, 0.3333333333333333, 0.6666666666666666, D ) :- between(1, 1, D).
-student(f, 0.25, 0.75, D ) :- between(1, 1, D).
-
-alias_C(C1) :- student_roll(f, 0.25, 0.75, 1, C1 ) .
-alias_B(B1) :- student_roll(f, 0.3333333333333333, 0.6666666666666666, 1, B1 ) .
-alias_A(A1) :- student_roll(f, 0.5, 0.5, 1, A1 ) .
-
-q(4873) :- alias_C(C1), alias_B(B1), alias_A(A1),  ( count([A1 , B1 , C1],solve, C7636) , C7636 >= 1 ) . 
-
-
-
-:- use_module(library(lists)).
-count([],X,0).
-count([X|T],X,Y):- count(T,X,Z), Y is 1+Z.
-count([X1|T],X,Z):- X1\=X,count(T,X,Z).
-
+P_Student_solve :: student_roll(L, P_Student_solve, P_Student_fail, D, solve); P_Student_fail :: student_roll(L, P_Student_solve, P_Student_fail, D, fail) :- student(L, P_Student_solve, P_Student_fail, D).
+
+student(f, 0.5, 0.5, D ) :- between(1, 1, D).
+student(f, 0.3333333333333333, 0.6666666666666666, D ) :- between(1, 1, D).
+student(f, 0.25, 0.75, D ) :- between(1, 1, D).
+
+alias_C(C1) :- student_roll(f, 0.25, 0.75, 1, C1 ) .
+alias_B(B1) :- student_roll(f, 0.3333333333333333, 0.6666666666666666, 1, B1 ) .
+alias_A(A1) :- student_roll(f, 0.5, 0.5, 1, A1 ) .
+
+q(4873) :- alias_C(C1), alias_B(B1), alias_A(A1),  ( count([A1 , B1 , C1],solve, C7636) , C7636 >= 1 ) . 
+
+
+
+:- use_module(library(lists)).
+count([],X,0).
+count([X|T],X,Y):- count(T,X,Z), Y is 1+Z.
+count([X1|T],X,Z):- X1\=X,count(T,X,Z).
+
 query(q(_)).

probE/4.pq

@@ -1,5 +1,5 @@
-entity student(solve;fail)
-A = student(1/2,1/2){1}.roll()
-B = student(1/3,2/3){1}.roll()
-C = student(1/4,3/4){1}.roll()
-probability( equalAtleast(1,[A|B|C], solve) )
+entity student(solve;fail)
+A = student(1/2,1/2){1}.roll()
+B = student(1/3,2/3){1}.roll()
+C = student(1/4,3/4){1}.roll()
+probability( equalAtleast(1,[A|B|C], solve) )

probE/5.pl

@@ -1,18 +1,18 @@
-P_Interview_s :: interview_roll(L, P_Interview_s, P_Interview_ns, D, s); P_Interview_ns :: interview_roll(L, P_Interview_s, P_Interview_ns, D, ns) :- interview(L, P_Interview_s, P_Interview_ns, D).
-
-interview(f, 0.14285714285714285, 0.8571428571428571, D ) :- between(1, 1, D).
-interview(f, 0.2, 0.8, D ) :- between(1, 1, D).
-
-alias_Hus(Hus1) :- interview_roll(f, 0.14285714285714285, 0.8571428571428571, 1, Hus1 ) .
-alias_Wife(Wife1) :- interview_roll(f, 0.2, 0.8, 1, Wife1 ) .
-
-q(2463) :- alias_Hus(Hus1), alias_Wife(Wife1),  ( count([Hus1 , Wife1],s, C4617) , C4617 = 1 ) . 
-
-
-
-:- use_module(library(lists)).
-count([],X,0).
-count([X|T],X,Y):- count(T,X,Z), Y is 1+Z.
-count([X1|T],X,Z):- X1\=X,count(T,X,Z).
-
+P_Interview_s :: interview_roll(L, P_Interview_s, P_Interview_ns, D, s); P_Interview_ns :: interview_roll(L, P_Interview_s, P_Interview_ns, D, ns) :- interview(L, P_Interview_s, P_Interview_ns, D).
+
+interview(f, 0.14285714285714285, 0.8571428571428571, D ) :- between(1, 1, D).
+interview(f, 0.2, 0.8, D ) :- between(1, 1, D).
+
+alias_Hus(Hus1) :- interview_roll(f, 0.14285714285714285, 0.8571428571428571, 1, Hus1 ) .
+alias_Wife(Wife1) :- interview_roll(f, 0.2, 0.8, 1, Wife1 ) .
+
+q(2463) :- alias_Hus(Hus1), alias_Wife(Wife1),  ( count([Hus1 , Wife1],s, C4617) , C4617 = 1 ) . 
+
+
+
+:- use_module(library(lists)).
+count([],X,0).
+count([X|T],X,Y):- count(T,X,Z), Y is 1+Z.
+count([X1|T],X,Z):- X1\=X,count(T,X,Z).
+
 query(q(_)).

probE/5.pq

@@ -1,4 +1,4 @@
-entity interview(s;ns)
-Hus = interview(1/7,6/7){1}.roll()
-Wife = interview(1/5,4/5){1}.roll()
-probability(equalFew(1,[Hus|Wife],s))
+entity interview(s;ns)
+Hus = interview(1/7,6/7){1}.roll()
+Wife = interview(1/5,4/5){1}.roll()
+probability(equalFew(1,[Hus|Wife],s))

probE/6.pl

@@ -1,16 +1,19 @@
-P_Dice_1 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D, 1); P_Dice_2 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D, 2); P_Dice_3 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D, 3); P_Dice_4 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D, 4); P_Dice_5 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D, 5); P_Dice_6 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D, 6) :- dice(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D).
-
-dice(f, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, D ) :- between(1, 2, D).
-
-alias_X(X1, X2) :- dice_roll(f, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 1, X1 ), dice_roll(f, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 2, X2 ) .
-
-q(8404) :-  ( ( X1 + X2 / 4 =:= 1 ) ; ( X1 + X2 / 4 =:= 2 ) ; ( X1 + X2 / 4 =:= 3 ) ; ( X1 + X2 / 6 =:= 2 ) ; ( X1 + X2 / 6 =:= 1 ) ) . 
-
-
-
-:- use_module(library(lists)).
-count([],X,0).
-count([X|T],X,Y):- count(T,X,Z), Y is 1+Z.
-count([X1|T],X,Z):- X1\=X,count(T,X,Z).
-
+P_Dice_1 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D, 1); P_Dice_2 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D, 2); P_Dice_3 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D, 3); P_Dice_4 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D, 4); P_Dice_5 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D, 5); P_Dice_6 :: dice_roll(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D, 6) :- dice(L, P_Dice_1, P_Dice_2, P_Dice_3, P_Dice_4, P_Dice_5, P_Dice_6, D).
+P_Coin_head :: coin_roll(L, P_Coin_head, P_Coin_tail, D, head); P_Coin_tail :: coin_roll(L, P_Coin_head, P_Coin_tail, D, tail) :- coin(L, P_Coin_head, P_Coin_tail, D).
+
+dice(f, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, D ) :- between(1, 2, D).
+dice(f, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, D ) :- between(1, 3, D).
+
+alias_X(X1, X2) :- dice_roll(f, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 1, X1 ), dice_roll(f, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 2, X2 ) .
+alias_Y(Y1, Y2, Y3) :- dice_roll(f, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 1, Y1 ), dice_roll(f, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 2, Y2 ), dice_roll(f, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 0.16666666666666666, 3, Y3 ) .
+
+q(1558) :- alias_Y(Y1, Y2, Y3), alias_X(X1, X2),   ( X1+ X2 + Y2 =:= 4 ) . 
+
+
+
+:- use_module(library(lists)).
+count([],X,0).
+count([X|T],X,Y):- count(T,X,Z), Y is 1+Z.
+count([X1|T],X,Z):- X1\=X,count(T,X,Z).
+
 query(q(_)).

probE/6.pq

@@ -1,3 +1,4 @@
-entity dice(1;2;3;4;5;6)
-X = dice(1/6,1/6,1/6,1/6,1/6,1/6){2}.roll()
-probability((X[1]+ X[2] / 4 == 1 ) or (X[1]+ X[2] / 4 == 2 ) or (X[1]+ X[2] / 4 == 3 ) or (X[1]+ X[2] / 6 == 2 ) or (X[1]+ X[2] / 6 == 1 ) )
+entity dice(1;2;3;4;5;6)
+X = dice(1/6,1/6,1/6,1/6,1/6,1/6){2}.roll()
+Y = dice(1/6,1/6,1/6,1/6,1/6,1/6){3}.roll()
+probability( sum( (X[1:2]|Y[2]),4) )