Conceptually, a world is a relational database where each predicate is a relation (possibly infinite).
the logical forms there can become quite complex, and in the context of program induction, this would lead to an unwieldy search space.