Datalog with Constraints: A Foundation forTrust Management LanguagesNinghui Li and John C. MitchellDepartment ofputer Science Stanford UniversityGates 4B Stanford CA 94305-9045{ jcm}. Trust manage