https://123dok.org/document/7q091rvq-logic-programming-service-lpaas-intelligence-iot.html