search at www.uspto.gov doesn't turn up any current or historical trademarks for "pl/1" or "pl/i" or "pl/2" by IBM. not sure the limitations of that database, but it does include dead trademarks earlier than 1960. --