fork download
  1. code=1500
  2. nobreak
  3. nowarnings
  4.  
  5. domains
  6. list = char*
  7. pred = ziri(list, integer, integer, integer, integer)
  8.  
  9. predicates
  10. nondeterm s_dashla(list, list, list, list, list, list, list, list, list, list, list)
  11. nondeterm dashla_z(list, list, list)
  12. nondeterm dashla_p(list, list, list)
  13. nondeterm dashla_r(list, list, list)
  14. nondeterm dashla_pn(list, list, list)
  15. nondeterm dashla_dro(list, list, list)
  16. nondeterm dashla_tn(list, list, list)
  17. nondeterm dashla_pref(integer, list, list)
  18. sheert(list, list, list)
  19. st_list(String, char, list)
  20. nondeterm s
  21. dashla_cont(list, list, list)
  22.  
  23. goal s.
  24. clauses
  25.  
  26. s:-readln(X), time(0,0,0,0), st_list(X,A,L),!,
  27. s_dashla(L, L1, L2, L3, L5, L51, L6, L7, L8, L9),
  28. getbacktrack(D)
  29. time(_,_,S,T), write("\nდრო=", S, ".",T," წამს\n"),
  30. cutbacktrack(D),
  31. write(X, "\nზმნისწინი=" L1, "\nპირის_ნიშანი=", L2,
  32. "\nპრეფიქსი=", L9, "\nკონტაქტი=" L51, "\nთემის_ნიშანი=", L7,
  33. "\nდრო=", L5, "\nპირი_სუფიქსი=", L3,
  34. "\nრიცხვი=", L4),!,fail.
  35. st_list("",_,[]).
  36. st_list(X,L,[L|Z]:-frontchar(X,L,Y),st_list(Y, L1, Z).
  37.  
  38. /* ზმნის ფორმის დაშლა მორფემებად */
  39.  
  40. s_dashla(Sitkva, Zmnis_cini, Piris_nishp, Piris_nishs, Ricxvi,
  41. Dro_kilo, Cont, Ziri, Temis_nish, Dvn, Pref):-
  42. dashla_z(Zmnis_cini, Suf, Sitkva),
  43.  
  44. getbacktrack(A),
  45. dashla_p(Piris_nishp, Suf1, Suf),
  46. getbacktrack(S),
  47. dashla_r(Suf2, Ricxvi, Suf1),
  48. cutbacktrack(S),
  49. dashla_pn(Piris_nishp, Suf3, Piris_nishs, Suf2),
  50. dashla_dro(Suf51, Temis_nish, Suf4),
  51. dashla_cont(suf5, Cont, Suf51,
  52. dashla_dvn(Suf6, Dvn, Suf5, Dvn_t),
  53. getbacktrack(Z),
  54. ziri(Ziri, Ziris_t, Tnish_t, Pref_t, Gar_t), Suf6),
  55. cutbacktrack(Z),
  56. dashla_pref(A, Pref, Dvn, Suf7),!.
  57.  
  58.  
  59. /* ზმნისწინის გამოცნობა */
  60.  
  61. dashla_z([], Sitkva, Sitkva).
  62. dashla_z(['დ', 'ა'], Suf, Sitkva):-sheert(['დ', 'ა'],
  63. Suf,Sitkva),!.
  64. dashla_z(['ა','მ','ო'],L,P):-sheert(['ა','მ','ო'],L,P),!.
  65. dashla_z(['ა','ღ'],L,P):-sheert(['ა','ღ'],L,P).
  66. dashla_z(['ა'],Suf,Sitkva):-sheert(['ა'],Suf,Sitkva),!.
  67. dashla_z(['მ','ი'],L,P):-sheert(['მ','ი'],L,P).
  68. dashla_z(['მ','ო'],L,P):-sheert(['მ','ო'],L,P).
  69. dashla_z(['ჩ','ა','მ','ო'],L,P):-
  70. sheert(['ჩ','ა','მ','ო'],L,P),!.
  71. dashla_z(['ჩ','ა'],L,P:-sheert(['ჩ','ა'],L,P),!.
  72. dashla_z(['შ','ე','მ','ო'],L,P):-
  73. sheert(['შ','ე','მ','ო'],L,P),!.
  74. dashla_z(['შ','ე'],L,P):-sheert(['შ','ე'],L,P),!.
  75. dashla_z(['გ','ა','დ','ა'],L,P):-
  76. sheert(['გ','ა','დ','ა'],L,P),!.
  77. dashla_z(['გ','ა','დ','მ','ო'],L,P):-
  78. sheert(['გ','ა','დ','მ','ო'],L,P),!.
  79. dashla_z(['გ','ა','მ','ო'],L,P):-
  80. sheert(['გ','ა','მ','ო'],L,P),!.
  81. dashla_z(['გ','ა','ნ'],L,P):-sheert(['გ','ა','ნ'],L,P),!.
  82. dashla_z(['გ','ა','რ','დ','ა'],L,P):-
  83. sheert(['გ','ა','რ','დ','ა'],L,P),!.
  84. dashla_z(['გ','ა''],L,P):-sheert(['',''],L,P),!.
  85. dashla_z(['','','',''],L,P):-
  86. sheert(['','','',''],L,P),!.
  87. dashla_z(['','','','',''],L,P):-
  88. sheert(['','','','',''],L,P),!.
  89. dashla_z(['','',''],L,P):-
  90. sheert(['','',''],L,P),!.
  91. dashla_z(['',''],L,P):-sheert(['',''],L,P),!.
  92. dashla_z(['','',''],L,P):-sheert(['','',''],L,P),!.
  93.  
  94.  
  95. /* პირის ნიშანი-პრეფიქსის გამოცნობა */
  96.  
  97. dashla_p([],A,A).
  98. dashla_p([''],A,B):-sheert([''],A,B),!.
  99. dashla_p([''],A,B):-sheert([''],A,B),!.
  100. dashla_p(['',''],A,B):-sheert(['',''],A,B),!.
  101. dashla_p([''],A,B):-sheert([''],A,B),!.
  102. dashla_p([''],A,B):-sheert([''],A,B),!.
  103. dashla_p([''],A,B):-sheert([''],A,B),!.
  104. dashla_p([''],A,B):-sheert([''],A,B),!.
  105.  
  106. /* ზმნის რიცხვის გამოცნობა */
  107.  
  108. dashla_r(A,['m',B):-sheert(A,['m'],B),!.
  109. dashla_r(A,[],A).
  110.  
  111.  
  112. /* პირის ნიშნების გამოცნობა */
  113.  
  114.  
  115.  
  116.  
  117.  
  118.  
  119.  
  120.  
  121.  
  122.  
  123.  
  124.  
  125.  
  126.  
  127.  
  128.  
Success #stdin #stdout #stderr 0.02s 6952KB
stdin
Standard input is empty
stdout
Standard output is empty
stderr
ERROR: /home/hDIr2H/prog:2:0: Syntax error: Operator expected
ERROR: /home/hDIr2H/prog:26:9: Syntax error: Operator expected
ERROR: /home/hDIr2H/prog:36:64: Syntax error: Operator expected
Warning: /home/hDIr2H/prog:40:
	Singleton variables: [Dro_kilo,Suf3,Suf4,Suf5,Dvn_t,Ziris_t,Tnish_t,Pref_t,Gar_t,Suf7]
ERROR: /home/hDIr2H/prog:71:66: Syntax error: Operator expected
ERROR: /home/hDIr2H/prog:84:12: Syntax error: End of file in quoted atom
ERROR: '$runtoplevel'/0: Undefined procedure: program/0
   Exception: (3) program ? EOF: exit