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