Which Programming Language and What Features at Pre-training Stage Affect Downstream Logical Inference Performance?