An implementation of Botworld in Higher Order Logic