Towards Logic Programming as a Service: Experiments in \sf tuProlog