Prolog: new family KB