Реализовать схему - Prolog

domains
int=integer
 
predicates
 
or_(int,int,int)
and_(int,int,int)
not_(int,int)
f1(int,int,int)
res(int,int,int,int,int)
 
clauses
 
or_(1,0,1).
or_(0,1,1).
or_(1,1,1).
or_(0,0,0).
 
and_(1,0,0).
and_(0,1,0).
and_(1,1,1).
and_(0,0,0).
 
not_(1,0).
not_(0,1).
 
f1(X1,X2,Y) :- or_(X1,X2,X), not_(X,Y).
 
res(X1,X2,X3,X4,Y) :- f1(X1,X2,Y1), and_(X3,X4,Y2), f1(Y1,Y2,Y3), and_(Y3,Y2,Y).