A prolog-like language where you define agents whose operation is controlled by utility functions - View it on GitHub