Проверить справедливость утверждения: отрицательных элементов в некотором файле больше, чем положительных - Prolog

Формулировка задачи:

условие задачи: Составить правило, которое проверяет, выполняется ли свойство: что отрицательных элементов некоторого файла больше, чем положительных. Числа в блокноте пишем любые Помогите пожалуйста ее исправить, последняя задача осталась для зачета.

predicates
  file_read (integer,integer)
  
 p(integer,integer,symbol)
clauses
file_read(K,T):-eof(f1), clozefile(f1),!.
file_read(K,T):-eof(f1), readint(X), X>=0,K1=K+1,file_read(K1,T); not(eof(f1)),
   T1=T+1, file_read(K,T1).
   
   p(K1,T1,Z):-K1>T1,Z="Да";
   Z="Нет".
 
 goal 
openread(f1,"F:/2.txt"), readdevice(f1),file_read(0,0),p(K,T,Z), write(Z).

Решение задачи: «Проверить справедливость утверждения: отрицательных элементов в некотором файле больше, чем положительных»

textual
                            Листинг программы 
                        

                            domains
file = input
 
predicates
start(string)
check(integer,integer)
 
clauses
 
check(N,P) :- not(eof(input)),readint(C), C>0, P1=P+1, check(N,P1).
check(N,P) :- not(eof(input)),readint(C), C<0, N1=N+1, check(N1,P).
check(N,P) :- not(eof(input)),readint(C), C=0, check(N,P).
check(N,P) :- eof(input),N>P,write("Number of negative is greater then number of positive"),nl.
check(N,P) :- eof(input),N<P,write("Number of positive is greater then number of negative"),nl.
check(N,P) :- eof(input),N=P,write("Number of negative is equal to number of positive"),nl.
 
start(Fname) :- openread(input,Fname),readdevice(input),check(0,0).
                        