Examples for pDatalog++.