Eroare de compilare: main.c:1:1: warning: return type defaults to 'int' [-Wimplicit-int] read_data(X):-see('E:\\KRR\\input.txt'),read(X),seen. ^~~~~~~~~ main.c: In function 'read_data': main.c:1:13: error: expected declaration specifiers before ':' token read_data(X):-see('E:\\KRR\\input.txt'),read(X),seen. ^ main.c:1:19: warning: character constant too long for its type read_data(X):-see('E:\\KRR\\input.txt'),read(X),seen. ^~~~~~~~~~~~~~~~~~~~ main.c:3:21: warning: character constant too long for its type write_data(X):-tell('E:\\KRR\\output.txt'),write(X),told. ^~~~~~~~~~~~~~~~~~~~~ main.c:15:94: error: stray '\' in program verify_clause_uniqueness(C_new, [C|T]):-sort(C_new, C_new_sort), sort(C, C_sort), C_new_sort \== C_sort, verify_clause_uniqueness(C_new, T). ^ main.c:54:41: error: stray '\' in program verify_clause_for_atom_1([H|T],Atom):-H \== Atom, H\== n(Atom), ^ main.c:54:52: error: stray '\' in program verify_clause_for_atom_1([H|T],Atom):-H \== Atom, H\== n(Atom), ^ main.c:62:32: error: stray '\' in program clause_no_atom([H|T], Atom):-H \==Atom, clause_no_atom(T, Atom). ^ main.c:76:12: error: stray '\' in program H_sort \== C_sort, ^ main.c:1:1: warning: type of 'X' defaults to 'int' [-Wimplicit-int] read_data(X):-see('E:\\KRR\\input.txt'),read(X),seen. ^~~~~~~~~ main.c:167:1: warning: control reaches end of non-void function [-Wreturn-type] dp_met_2:-read_data(X),dp_2(X,Result),write_data(Result). ^~~~~~~~ Non zero exit status: 1