Вычислить значение логического выражения

domains
  tree = t(char, ltree)
  lc = char*
  ltree = tree*
  rtree = tree*
 
predicates
 
 nondeterm s(lc,lc,integer,integer,integer)
 nondeterm e(lc,lc,integer,integer,integer)
 nondeterm r(lc,lc,integer,integer,integer)
 nondeterm d(lc,lc,char)
 nondeterm o(lc,lc,char)
 nondeterm q(lc,lc,char)
 nondeterm calc(char,integer,integer,integer)
 nondeterm sTol(string,lc,integer)
 nondeterm getVarVal(string,integer)
 
database-vars
   v(string,integer)
 
 
 
 
 
clauses
 
sTol("",[],0):-!.
sTol(S,L,N):-frontchar(S,C,X),
                 sTol(X,L1,N1),
                 L=[C|L1],
                 N=N1+1.
 
s(Si,S0,M,N,R):-M<=N,
                M1=M+1,
                e(Si,S0,M1,N,R).
 
e(Si,S0,M,N,R):-M<=N,
                M1=M+1,
                e(Si,S1,M1,N,R1),
                o(S1,S2,O),
                e(S2,S0,M1,N,R2),
                calc(O,R1,R2,R);
                M<=N,
                M1=M+1,
                r(Si,S0,M1,N,R).
 
r(Si,S0,M,N,R):-M<=N,
                M1=M+1,
                r(Si,S1,M1,N,R1),
                q(S1,S2,O),
                r(S2,S0,M1,N,R2),
                calc(O,R1,R2,R);
                d(Si,S0,R).
                
calc('<',A,B,R):-A>B,
                 R=0;
                 A<B,
                 R=1.
                  
calc('>',A,B,R):-A>B,
                 R=1;
                 A<B,
                 R=0.
                 
calc('=',A,B,R):-A=B,
                 R=1;
                 R=0.
                 
calc('&',A,B,R):-A=1,B=1,R=1;
                 A=0,B=1,R=0;
                 A=1,B=0,R=0,
                 A=0,B=0,R=0.
                 
calc('-',A,B,R):-A=0,B=0,R=1;
                 A=0,B=1,R=1,
                 A=1,B=0,R=0;
                 A=1,B=1,R=1.
                 
% предикат записи в БД
getVarVal(N,V):-v(N,V),!;
                write("Vvedite Zna4enie"),
                write(N),
                readint(V),
                assert(vars,v(N,V)).
                 
                  
                
d(['X'|S],S,'X').
d(['Y'|S],S,'Y').
d(['Z'|S],S,'Z').
 
q(['<'|S],S,'<').
q(['>'|S],S,'>').
q(['='|S],S,'=').
 
o(['&'|S],S,'&').
o(['-'|S],S,'-').
 
 goal           
                 getVarVal(N,V),
                 write("Vvedite sroku: "),
                 readLn(S),
                 sTol(S,L,N),
                 s(L,[],0,N,Res),
                 write(Res);
                 write("Syntax Error").