Logic programming as a service. Issue 5 (18th July 2018)