WebSocket API: querying a toplevel

This page opens /ws, spawns a toplevel session, runs member(X,[a,b,c]) with limit=2, and then asks for the remaining solutions with toplevel_next.

Results

Event log