tracing over a telnet connection to SWI-Prolog

[groehner]

If I trace a predicate directly in SWI-Prolog I get:

[trace] 42 ?- equal([a,b,c],[a,b,c]).
Call: (14) equal([a, b, c], [a, b, c]) ? creep
Call: (15) a=a ? creep
Exit: (15) a=a ? creep
Call: (15) equal([b, c], [b, c]) ? creep
Call: (16) b=b ? creep
Exit: (16) b=b ? creep
Call: (16) equal([c], [c]) ? creep
Call: (17) c=c ? creep
Exit: (17) c=c ? creep
Call: (17) equal([], []) ? creep
Exit: (17) equal([], []) ? creep
Exit: (16) equal([c], [c]) ? creep
Exit: (15) equal([b, c], [b, c]) ? creep
Exit: (14) equal([a, b, c], [a, b, c]) ? creep
true.

But if I do it over a telnet connection to SWI-Prolog I get:
[trace] ?- equal([a,b,c],[a,b,c]).
Call: (15) equal([a, b, c], [a, b, c]) ?
Call: (16) a=a ? Exit: (16) a=a ?
Call: (16) equal([b, c], [b, c]) ? Call: (17) b=b ?
Exit: (17) b=b ? Call: (17) equal([c], [c]) ?
Call: (18) c=c ? Exit: (18) c=c ?
Call: (18) equal([], []) ? Exit: (18) equal([], []) ?
Exit: (17) equal([c], [c]) ? Exit: (16) equal([b, c], [b, c]) ?
Exit: (15) equal([a, b, c], [a, b, c]) ? true.

[trace] ?-

[JanWielemaker]

You mean using ?- prolog_server(SomePort, []).? Works fine here (Fedora Linux, using nc localhost <port> to connect). It is not clear what you type on the prompts?

For better experience, use the libssh package. That gives you secure ssh login to Prolog with a proper pseudo terminal, so completion, colours, raw input, etc. all work just fine.

[groehner]

This happens on an windows machine. I used CarriageReturn for tracing. In the picture you see it wit c)reep.

[JanWielemaker]

No idea whether this ever worked properly. But, there is a much simpler alternative for Windows using version 10, just use epilog/0 and you should get a secondary console. The telnet/ssh route is mostly there to deal with Prolog servers running as Unix daemon processes without a GUI environment.

[groehner]

Unfortunately epilog/0 has the same problem:

Background of my questions is the attempt to get SWI-Prolog 10.0.0 run together with SWI-Prolog-Editor.
(https://arbeitsplattform.bildung.hessen.de/fach/informatik/swiprolog/indexe.html)

Prior to version 10.0.0 the communication between SWI-Prolog and SWI-Prolog-Editor was done with hooking to the RlcConsole window. Since RlcConsole is no longer available, I'm now trying a different solution, starting with Telnet. But that obviously has some problems.

SSH is not an option, as the SWI Prolog editor is primarily designed as a teaching tool for schools.