diagram datalog 01