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 >
Wrap
Text File
|
2000-01-24
|
240b
|
10 lines
% ARRAY MODULE
% version 1.1, March 18, 1999.
array(change(A, I, V), I) ->> V .
array(change(A, I, X), J) ->> array(X,J) :- prove(I <> J).
array(change(A, I , V), J) = X ->> (J = I implies V = X) and
((J <> I) implies array(A, J) = X).