home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.yorku.ca 2015 / ftp.cs.yorku.ca.tar / ftp.cs.yorku.ca / pub / peter / SVT / array.simp < prev    next >
Text File  |  2000-01-24  |  240b  |  10 lines

  1. % ARRAY MODULE
  2. % version 1.1, March 18, 1999.
  3.  
  4. array(change(A, I, V), I) ->> V .
  5. array(change(A, I, X), J) ->> array(X,J) :- prove(I <> J).
  6.  
  7. array(change(A, I , V), J) = X ->> (J = I implies V = X) and
  8.     ((J <> I) implies array(A, J) = X).
  9.  
  10.