Email Record: Foundations of logic programming /