home *** CD-ROM | disk | FTP | other *** search
/ Turbo Toolbox / Turbo_Toolbox.iso / 1987 / 12 / parsbsp2.pro < prev    next >
Encoding:
Text File  |  1987-09-29  |  2.9 KB  |  92 lines
  1. "Beispielprogramm 2 - W. Kreitmair "
  2. " 'Automatische Sprachanalyse mit PROLOG II' "
  3.  
  4. aus-SATZ-ableitbar(x) ->
  5.                   verkette(u,v,x) 
  6.                   aus-NP-ableitbar(u)   aus-VP-ableitbar(v) ;
  7.  
  8. aus-NP-ableitbar(x) -> 
  9.                   aus-EIGENNAME-ableitbar(x); 
  10. aus-NP-ableitbar(x) -> 
  11.                   verkette(u,v,x)
  12.                   aus-ADJEKTIV-ableitbar(u)   
  13.                   aus-NOMEN-ableitbar(v) ;
  14. aus-NP-ableitbar(x) -> 
  15.                   verkette(x1,w,x)  verkette(u,v,x1)
  16.                   aus-ARTIKEL-ableitbar(u)  
  17.                   aus-ADJEKTIV-ableitbar(v)  
  18.                   aus-NOMEN-ableitbar(w) ;
  19. aus-NP-ableitbar(x) ->
  20.                   verkette(x1,w,x)  verkette(u,v,x1)  
  21.                   aus-ARTIKEL-ableitbar(u)  
  22.                   aus-NOMEN-ableitbar(v)  
  23.                   aus-RELATIVSATZ-ableitbar(w);
  24.  
  25. aus-VP-ableitbar(x) -> 
  26.                   aus-VERB-ableitbar(x); 
  27. aus-VP-ableitbar(x) ->
  28.                   verkette(u,v,x) 
  29.                   aus-KOPULA-ableitbar(u)  aus-ADJEKTIV-ableitbar(v) ;
  30. aus-VP-ableitbar(x) -> 
  31.                   verkette(u,v,x)
  32.                   aus-VERB-ableitbar(u)  aus-NP-ableitbar(v);
  33.  
  34. aus-VP'-ableitbar(x) -> 
  35.                   verkette(u,v,x)
  36.                   aus-ADJEKTIV-ableitbar(u)  aus-KOPULA-ableitbar(v) ;
  37. aus-VP'-ableitbar(x) -> 
  38.                   aus-VERB-ableitbar(x);  
  39. aus-VP'-ableitbar(x) ->
  40.                   verkette(u,v,x)
  41.                    aus-NP-ableitbar(u) aus-VERB-ableitbar(v);
  42.  
  43. aus-RELATIVSATZ-ableitbar(x) -> ;
  44. aus-RELATIVSATZ-ableitbar(x) -> 
  45.                   verkette(u,v,x)
  46.                   aus-RELATIV-PRONOMEN-ableitbar(u)   
  47.                   aus-VP'-ableitbar(v) ;
  48.  
  49. aus-ARTIKEL-ableitbar(x) -> 
  50.                   aus-UNBEST-ARTIKEL-ableitbar(x); 
  51. aus-ARTIKEL-ableitbar(x) -> 
  52.                   aus-BEST-ARTIKEL-ableitbar(x); 
  53.  
  54.  
  55. aus-VERB-ableitbar(schlaeft.nil) ->;
  56. aus-VERB-ableitbar(kuesst.nil) ->;
  57. aus-VERB-ableitbar(liebt.nil) ->;
  58. aus-VERB-ableitbar(heiratet.nil) ->;
  59.  
  60. aus-KOPULA-ableitbar(ist.nil) ->;
  61.  
  62. aus-NOMEN-ableitbar(Mann.nil) ->;
  63. aus-NOMEN-ableitbar(Liebhaber.nil) ->;
  64. aus-NOMEN-ableitbar(Ehefrau.nil) ->;
  65. aus-NOMEN-ableitbar(Freundin.nil) ->;
  66.  
  67. aus-EIGENNAME-ableitbar(Helmut.nil) ->;
  68. aus-EIGENNAME-ableitbar(Rita.nil) ->;
  69.  
  70. aus-RELATIV-PRONOMEN-ableitbar(der.nil) ->;
  71. aus-RELATIV-PRONOMEN-ableitbar(die.nil) ->;
  72.  
  73. aus-ADJEKTIV-ableitbar(jung.nil) ->;
  74. aus-ADJEKTIV-ableitbar(junge.nil) ->;
  75. aus-ADJEKTIV-ableitbar(feurig.nil) ->;
  76. aus-ADJEKTIV-ableitbar(feurige.nil) ->;
  77. aus-ADJEKTIV-ableitbar(betrogene.nil) ->;
  78.  
  79. aus-UNBEST-ARTIKEL-ableitbar(ein.nil) ->;
  80. aus-UNBEST-ARTIKEL-ableitbar(eine.nil) ->;
  81.  
  82. aus-BEST-ARTIKEL-ableitbar(der.nil) ->;
  83. aus-BEST-ARTIKEL-ableitbar(die.nil) ->;
  84. aus-BEST-ARTIKEL-ableitbar(den.nil) ->;
  85.  
  86.  
  87. "Hilfspraedikat"
  88.  
  89. verkette(nil,x,x) ->;
  90. verkette(x.y, z,x.r ) -> verkette(y,z,r);
  91.  
  92.