Computational Intelligence, Volume 21, Number 2, 2005 XML DECLARATIVE DESCRIPTION WITH FIRST-ORDER LOGICAL CONSTRAINTS CHUTIPORN ANUTARIYA Computer Science Program, Shinawatra…