Cloud configuration logic model checker - Prolog (XSB Prolog)