BAAC: A Prolog System for Action Description and Agents Coordination