Simulating a social network, JoinedIn with Prolog.