Fixed: Prolog bug revealed with member function