Comment by mrob

None of the Infocom games are in the public domain. The copyright of most of them is held by Activision, which sells them as iOS ports.