Перевести код Prolog на C#

domains
  file = in; out
  lstr = string*
predicates
 nondeterm do(integer)
 nondeterm work(integer)
 nondeterm adds(integer, string, string)
 nondeterm read50(integer,lstr, lstr )
 nondeterm concat50(lstr )
 nondeterm inverse(lstr, lstr)
 nondeterm inv(lstr,lstr,lstr)
 nondeterm nl_11()
 
clauses
  do(M):-openread(in, "L:\\Prolog\\str.doc"),openwrite(out, "L:\\Prolog\\out.doc"), readdevice(in), writedevice(out),  work(M), closefile(in), closefile(out).
  work(M):- read50(50, [], List ), inverse(List, List2), concat50(List2), nl_11(), not (eof(in)), work(M).
  work(_).
  adds(0,X1,X1):-!.
  adds(N,X,X2):-fronttoken(X1," ",X),N1=N-1,adds(N1,X1,X2),!. 
  read50( 0, List1,List1):-!.
  read50( N, List1, List2 ):- readln(X), N1 = N - 1, read50( N1, [X|List1], List2).
  concat50( [] ):-!.
  concat50( [X|List2] ):- readln(Y), str_len(X, Len), N1=10-Len+1, adds(N1, Y, R1), concat(X,R1,Z), write(Z),nl, concat50(List2). 
  inverse(List, Rev):- inv(List, [], Rev). 
  inv([ ], Rev, Rev):- !. 
  inv([H|T], SpList, Rev):- 
  inv(T, [H|SpList], Rev).
  nl_11():-nl,nl,nl,nl,nl,nl,nl,nl,nl,nl,nl.
 
goal
  write("Задайте количество слов:"), nl, readint(M), do(M).