{\rtf1\ansi\deff0\deftab720{\fonttbl{\f0\fswiss MS Sans Serif;}{\f1\froman\fcharset2 Symbol;}{\f2\fnil Profont;}{\f3\fswiss\fprq2 System;}} {\colortbl\red0\green0\blue0;\red255\green0\blue0;\red0\green255\blue0;\red0\green0\blue255;\red224\green0\blue224;} \deflang1033\pard\plain\f2\fs20\cf0 o\plain\f2\fs20\cf1 r(p,q)\plain\f2\fs20\cf0 :p(\plain\f2\fs20\cf4 true\plain\f2\fs20\cf0 ,q); \par \plain\f2\fs20\cf1 not(p)\plain\f2\fs20\cf0 :p(\plain\f2\fs20\cf4 false\plain\f2\fs20\cf0 ,\plain\f2\fs20\cf4 true\plain\f2\fs20\cf0 ); \par \plain\f2\fs20\cf2 users[10]\plain\f2\fs20\cf0 :\plain\f2\fs20\cf4 void\plain\f2\fs20\cf0 ; \par nbrusers:0; \par login(remotedict):: \{ \par nbrusers := nbrusers + 1; \par users[nbrusers] := remotedict; \par chatsend(\plain\f2\fs20\cf4 "User : "\plain\f2\fs20\cf0 + text(nbrusers) + \plain\f2\fs20\cf4 "has logged in"\plain\f2\fs20\cf0 ) \}; \par \plain\f2\fs20\cf1 chatsend(message)\plain\f2\fs20\cf0 :: \plain\f2\fs20\cf1\b \{\plain\f2\fs20\cf0 \par \plain\f2\fs20\cf0\b for\plain\f2\fs20\cf0 (\plain\f2\fs20\cf3 i\plain\f2\fs20\cf0 :\plain\f2\fs20\cf4 1\plain\f2\fs20\cf0 ,or(not(is_void(users[i])),i