Monica S. Lam Why Use Datalog to Analyze Programs? 1 2006 conf/iclp/2006 ICLP https://doi.org/10.1007/11799573_1 db/conf/iclp/iclp2006.html#Lam06