Extending Tropos for a Prolog Implementation: A Case Study Using the Food Collecting Agent Problem | Publicación