home *** CD-ROM | disk | FTP | other *** search
/ Turbo Toolbox / Turbo_Toolbox.iso / 1988 / 03 / prolog / subst.pro < prev   
Encoding:
Text File  |  1988-01-04  |  513 b   |  14 lines
  1. /*-------------- SUBST.PRO ------------------*/
  2. /*     Integration mit Substitution in       */
  3. /*            Standard Prolog                */
  4. /*            (C) R.Häring                   */
  5.  
  6. int(Term,X,E) :-
  7.   subterm(Sub,Term),  /* Sub-Term erzeugen   */
  8.   X\=Sub, Term\=Sub,  /* Sinnlose Terme weg  */
  9.   not(const(Sub,X)),  /* Sub muß X enthalten */
  10.   dif(Sub,X,D1),      /* Sub differenzieren  */
  11.   Neu:== Term/D1,     /* Neuen Integrand     */
  12.   int(Neu,Sub,E).     /* Nach Sub integ.     */
  13.  
  14.