Here we turn to a key topic for DRT: pronoun resolution. On the basis of linguistic constraints as well as AI-heuristics, we present a Prolog program which determines which antecedent NPs are accessible, and performs pronoun resolution on the basis of this information.