Type Inference for Mobile Ambients in Prolog