Email Record: Advances in logic programming theory /