home *** CD-ROM | disk | FTP | other *** search
/ Turbo Toolbox / Turbo_Toolbox.iso / 1988 / 01 / prolog / parsbs3o.pro < prev    next >
Encoding:
Text File  |  1987-10-29  |  2.0 KB  |  65 lines
  1.  "Beispielprogramm 3 (optimiert) - W. Kreitmair & PASCAL International"
  2.  "Automatische Sprachanalyse mit PROLOG II " 
  3.  
  4. ist-ein-Satz(x) ->
  5.     Kante(SATZ,<x,nil>);
  6.  
  7. Kante(SATZ,<x,y>) -> Kante(NP,<x,x1>)   Kante(VP,<x1,y>);
  8.  
  9. Kante(NP,<x,y>) -> Kante(EIGENNAME,<x,y>);
  10. Kante(NP,<x,y>) -> Kante(ADJEKTIV,<x,x1>)   Kante(NOMEN,<x1,y>);
  11. Kante(NP,<x,y>) -> Kante(ARTIKEL,<x,x1>)  Kante(ADJEKTIV,<x1,x2>)  
  12.                    Kante(NOMEN,<x2,y>);
  13. Kante(NP,<x,y>) -> Kante(ARTIKEL,<x2,y>)  Kante(NOMEN,<x,x1>)  
  14.                    Kante(RELATIVSATZ,<x2,y>);
  15.  
  16. Kante(VP,<x,y>) -> Kante(VERB,<x,y>);
  17. Kante(VP,<x,y>) -> Kante(KOPULA,<x,x1>)  Kante(ADJEKTIV,<x1,y>);
  18. Kante(VP,<x,y>) -> Kante(VERB,<x,x1>)  Kante(NP,<x1,y>);
  19.  
  20. Kante(VP',<x,y>) -> Kante(ADJEKTIV,<x,x1>)  Kante(KOPULA,<x1,y>);
  21. Kante(VP',<x,y>) -> Kante(VERB,<x,y>); 
  22. Kante(VP',<x,y>) -> Kante(NP,<x,x1>) Kante(VERB,<x1,y>);
  23.  
  24. Kante(RELATIVSATZ,<x,x>) -> ;
  25. Kante(RELATIVSATZ,<x,y>) -> Kante(RELATIV-PRONOMEN,<x,x1>)  
  26.                             Kante(VP',<x1,x2>);
  27.  
  28. Kante(ARTIKEL,<x,y>) -> Kante(UNBEST-ARTIKEL,<x,y>);
  29. Kante(ARTIKEL,<x,y>) -> Kante(BEST-ARTIKEL,<x,y>);
  30.  
  31. Kante(VERB,<schlaeft.x,x>) ->;
  32. Kante(VERB,<kuesst.x,x>) ->;
  33. Kante(VERB,<liebt.x,x>) ->;
  34. Kante(VERB,<heiratet.x,x>) ->;
  35.  
  36. Kante(KOPULA,<ist.x,x>) ->;
  37.  
  38. Kante(NOMEN,<Mann.x,x>) ->;
  39. Kante(NOMEN,<Liebhaber.x,x>) ->;
  40. Kante(NOMEN,<Ehefrau.x,x>) ->;
  41. Kante(NOMEN,<Freundin.x,x>) ->;
  42.  
  43. Kante(EIGENNAME,<Helmut.x,x>) ->;
  44. Kante(EIGENNAME,<Rita.x,x>) ->;
  45.  
  46. Kante(RELATIV-PRONOMEN,<der.x,x>) ->;
  47. Kante(RELATIV-PRONOMEN,<die.x,x>) ->;
  48.  
  49. Kante(ADJEKTIV,<jung.x,x>) ->;
  50. Kante(ADJEKTIV,<junge.x,x>) ->;
  51. Kante(ADJEKTIV,<feurig.x,x>) ->;
  52. Kante(ADJEKTIV,<feurige.x,x>) ->;
  53. Kante(ADJEKTIV,<betrogene.x,x>) ->;
  54.  
  55. Kante(UNBEST-ARTIKEL,<ein.x,x>) ->;
  56. Kante(UNBEST-ARTIKEL,<eine.x,x>) ->;
  57.  
  58. Kante(BEST-ARTIKEL,<der.x,x>) ->;
  59. Kante(BEST-ARTIKEL,<die.x,x>) ->;
  60. Kante(BEST-ARTIKEL,<den.x,x>) ->
  61. EL,<eine.x,x>) ->;
  62.  
  63. Kante(BEST-ARTIKEL,<der.x,x>) ->;
  64. Kante(BEST-ARTIKEL,<die.x,x>) ->;
  65. Kante(BEST-ARTIKE