Towards Logic Programming as a Service: Experiments in tuProlog