The DALI Logic Programming Agent-Oriented Language