simple prolog representation of world and relations