Annex SL could be the typical that defines The brand new substantial-stage construction that is necessary for all ISO management system requirements. It replaces the ISO Guidebook 83 and expands about the framework that was already recognized. Datalog is a declarative logic programming language.