Alphascape Datalog v3.0