Inform 7 is a weird hybrid of a beast. It's a bunch of separate models clunked together:
* a logic-like language describing a bunch of relationships about a game world
* a class and object model
* a type model
* imperative procedures with global variables
* a rule-like language describing unnamed procedures which get invoked by a complex, baroque, compiled-in logic based on classes and types
* the whole thing implemented in *natural language English*, or what looks at first glance like it.