home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / PUT_GET.LF < prev    next >
Text File  |  1996-06-04  |  361b  |  12 lines
  1.  
  2. % Put and get example (see Andreas & Peter):
  3.  
  4. enable(C) :- C=@(put=>nil,get=>nil).
  5.  
  6. putt(X, C:@(get=>G:[Y|Rest])) -> true | X=Y, C<-@(get=>Rest,put=>[]).
  7. putt(X, C:@(get=>nil,put=>P)) -> true | C<-@(get=>nil,put=>[X|P]).
  8.  
  9. gett(X, C:@(put=>G:[Y|Rest])) -> true | X=Y, C<-@(put=>Rest,get=>[]).
  10. gett(X, C:@(put=>nil,get=>P)) -> true | C<-@(put=>nil,get=>[X|P]).
  11.  
  12.