Terminus Server uses system:main/0 calls user hook main/1 to be prologscript compliant, which is good. But it hand parses (and not well) the argv list. let's move this to a proper optparse parsing before it becomes a nuisance.

Currently, I get:

?- use_module(library(sockets)).
   true.
?- socket_server_open(7014, Socket),
   socket_server_accept(Socket, Client, Stream, [type(binary)]).
^C^C^C^C^Z

Ideally, socket_server_accept/4 can also be interrupted, much like read/1.

Hi there,

Thanks for this amazing module.

I think there is a problem with the way terms are printed.
I run some Prolog code from Python, querying Prolog with:

H = pyswip.Variable()
induce = pyswip.Functor('induce', 1)
q = Query(induce(H))
q.nextSolution()
print(H.value)

I get a result like this for H:

[Functor(319757,2,
 [Functor(9048461,3,_10560234,_10560236,_1056023