[godelski]

  > it can be solved by a simple logic program

Which relies on understanding that Albert and Bernard have mental states and disjoint information.

  A theory of mind includes the knowledge that others' beliefs, desires, intentions, emotions, and thoughts may be different from one's own.
  - https://en.wikipedia.org/wiki/Theory_of_mind