Implementing Virtually-Embedded Logical Reasoning in Animat Agents