domains
a = integer
predicates
xor(a,a,a)
nor(a,a,a)
equ(a,a,a)
razn(a,a,a)
nondeterm function(a,a,a,a,a)
clauses
equ(0,0,1).
equ(0,1,0).
equ(1,0,0).
equ(1,1,1).
razn(1,1,0).
razn(0,1,0).
razn(1,0,1).
razn(0,0,0).
nor(0,0,1).
nor(1,0,0).
nor(0,1,0).
nor(1,1,0).
xor(0,0,0).
xor(0,1,1).
xor(1,0,1).
xor(1,1,1).
function(A,B,C,D,Output):- razn(A,D,S1), equ(A,D,S2), xor(S1,S2,SS1), razn(B,C,S3), equ(B,C,S4), nor(S3,S4,SS2), razn(SS1,SS2,Output).
Goal
function(A,B,C,D,Output).