Prolog implementation of SHACL Prolog Prototype of SHACL axiomatic semantics http://labra.github.io/Haws/shacl/index.html Author: Jose Emilio Labra Gayo