Update amic.prolog