Checked the XML and both of those do have Prophets available. But its only for the first civ to get those techs. At the moment, I've been a bit remiss about cleaning up some display issues for Divine Prophets (that I didn't have the skill set at the time to update properly though now I do.)
If the Religion at those techs hasn't been taken by a civ yet, it may still confusingly show up as if the prophet may still be available there, even though a civ may have learned that tech and gotten the prophet from it. This is particularly confusing on Choose Religions games.
I do have the goal on my todo list to fix this up so that on Divine Prophets, it will let you know if the prophet is still available on a given tech or not but for now, just know that there's no way to know (without having full vision on all opponent civs and knowing what they've researched) until you get the tech and find out if you get the Prophet or not.