An integrated development environment for Zork-ish games