SimpleLogic Framework