java_predicates('java.net.Socket', [ socket__create = 'Socket'(string, int), % hostname, port socket__close = close ]). java_predicates('java.net.ServerSocket', [ server_socket__create = 'ServerSocket'(int), % port server_socket__create = 'ServerSocket'(int,int), % port maxconnections server_socket__accept = accept ]).