home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / brklyprl.lha / Emulator / Tests / a.pl next >
Encoding:
Text File  |  1989-04-14  |  252 b   |  11 lines
  1.  
  2. /* Copyright (C) 1988, 1989 Herve' Touati, Aquarius Project, UC Berkeley */
  3.  
  4. rewrite(Atom,Atom) :-
  5.     atomic(Atom),!.
  6. rewrite(Old,New) :-
  7.     functor(Old,F,N),
  8.     functor(Mid,F,N),
  9.     rewrite_args(N,Old,Mid),
  10.     ( equal(Mid,Next) -> rewrite(Next,New); New=Mid).
  11.